Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

A verification framework for agent knowledge

Dong, J.S.
Feng, Y.
Leung, H.-F.

Publication date

January 2007

DOI

10.1007/978-3-540-76650-6_5

ISSN

0302-9743

Abstract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)4789 LNCS57-7

Extracted data

Related items

Message from the general chairs

Cai, J.
Kankanhalli, M.
Sun, M.-T.

January 2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Extraction in scientific publications

Nguyen, T.D.
Kan, M.-Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Unfold/fold transformations for automated verification of parameterized concurrent systems

Roychoudhury, A.
Ramakrishnan, C.R.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Enhancing program verification with lemmas

Nguyen, H.H.
Chin, W.-N.

January 2008

10.1007/978-3-540-70545-1_34Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Verification of computation Orchestration via timed automata

Dong, J.S.
Liu, Y.
Sun, J.
Zhang, X.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Continuous verification using multimodal biometrics

Zhang, S.
Janakiraman, R.
Sim, T.
Kumar, S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Automated verification of shape and size properties via separation logic

Nguyen, H.H.
David, C.
Qin, S.
Chin, W.-N.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Information acquisition through an integrated paradigm: Agent + peer-to-peer

Ooi, B.C.
Ng, W.S.
Tan, K.-L.
Zhou, A.

January 2003

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)28721-12LNA...

Data integrity framework and language support for active web intermediaries

Chi, C.-H.
Yu, X.-Y.
Zhang, W.
Ding, C.
Wong, W.-F.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Resource usage verification

Marriott, K.
Stuckey, P.J.
Sulzmann, M.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Manifestation and exploitation of invariants in bioinformatics

Wong, L.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Checking and reasoning about Semantic Web through alloy

Dong, J.S.
Sun, J.
Wang, H.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A proof slicing framework for program verification

Le, T.C.
Gherghina, C.
Voicu, R.
Chin, W.-N.

January 2013

10.1007/978-3-642-41202-8_5Lecture Notes in Computer Science (including subseries Lecture Notes in A...

Authenticating multi-dimensional query results in data publishing

Cheng, W.
Pang, H.
Tan, K.-L.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Message from the general chairs

Cai, J.
Kankanhalli, M.
Sun, M.-T.

January 2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Extraction in scientific publications

Nguyen, T.D.
Kan, M.-Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Unfold/fold transformations for automated verification of parameterized concurrent systems

Roychoudhury, A.
Ramakrishnan, C.R.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Enhancing program verification with lemmas

Nguyen, H.H.
Chin, W.-N.

January 2008

10.1007/978-3-540-70545-1_34Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Verification of computation Orchestration via timed automata

Dong, J.S.
Liu, Y.
Sun, J.
Zhang, X.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Continuous verification using multimodal biometrics

Zhang, S.
Janakiraman, R.
Sim, T.
Kumar, S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Automated verification of shape and size properties via separation logic

Nguyen, H.H.
David, C.
Qin, S.
Chin, W.-N.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Information acquisition through an integrated paradigm: Agent + peer-to-peer

Ooi, B.C.
Ng, W.S.
Tan, K.-L.
Zhou, A.

January 2003

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)28721-12LNA...

Data integrity framework and language support for active web intermediaries

Chi, C.-H.
Yu, X.-Y.
Zhang, W.
Ding, C.
Wong, W.-F.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Resource usage verification

Marriott, K.
Stuckey, P.J.
Sulzmann, M.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Manifestation and exploitation of invariants in bioinformatics

Wong, L.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Checking and reasoning about Semantic Web through alloy

Dong, J.S.
Sun, J.
Wang, H.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A proof slicing framework for program verification

Le, T.C.
Gherghina, C.
Voicu, R.
Chin, W.-N.

January 2013

10.1007/978-3-642-41202-8_5Lecture Notes in Computer Science (including subseries Lecture Notes in A...

Authenticating multi-dimensional query results in data publishing

Cheng, W.
Pang, H.
Tan, K.-L.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Message from the general chairs

Cai, J.
Kankanhalli, M.
Sun, M.-T.

January 2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Extraction in scientific publications

Nguyen, T.D.
Kan, M.-Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Unfold/fold transformations for automated verification of parameterized concurrent systems

Roychoudhury, A.
Ramakrishnan, C.R.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...