Volume 5, Number 1, March 2007
Questions and Answers:
Theoretical and Applied Perspectives Special papers - Questions and Answers:
Theoretical and Applied Perspectives
- Raffaella Bernardi, Bonnie L. Webber:
Questions and Answers: Theoretical and Applied Perspectives.
1-2
- Antonio Badia:
Question answering and database querying: Bridging the gap with generalized quantification.
3-19
- Anette Frank, Hans-Ulrich Krieger, Feiyu Xu, Hans Uszkoreit, Berthold Crysmann, Brigitte Jörg, Ulrich Schäfer:
Question answering from structured knowledge sources.
20-48
- Dan I. Moldovan, Christine Clark, Sanda M. Harabagiu, Daniel Hodges:
Cogex: A semantically and contextually enriched logic prover for question answering.
49-69
- Debra T. Burhans, Stuart C. Shapiro:
Defining answer classes using resolution refutation.
70-91
- Marco De Boni:
Using logical relevance for question answering.
92-103
- Tiphaine Dalmas, Bonnie L. Webber:
Answer comparison in automated question answering.
104-120
- Stefan Schlobach, David Ahn, Maarten de Rijke, Valentin Jijkoun:
Data-driven type checking in open domain question answering.
121-143
Regular papers
Volume 5, Number 2, June 2007
Logic-Based Agent Verification Special papers:
Logic-Based Agent Verification
- Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge:
Logic-Based Agent Verification.
193-195
- Christopher D. Walton:
Verifiable agent dialogues.
197-213
- Laura Giordano, Alberto Martelli, Camilla Schwind:
Specifying and verifying interaction protocols in a temporal action logic.
214-234
- Franco Raimondi, Alessio Lomuscio:
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams.
235-251
- Yves Bontemps, Pierre-Yves Schobbens:
The computational complexity of scenario-based agent verification and design.
252-276
- Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
A verification framework for agent programming with declarative goals.
277-302
- Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer:
Security of multi-agent systems: A case study on comparison shopping.
303-332
Regular papers
Volume 5, Number 3, September 2007
Selected papers from the 9th European Conference on Logics in Artificial Intelligence (JELIA '04), 9th European Conference on Logics in Artificial Intelligence
- José Júlio Alferes, João Leite:
Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004.
389-391
- Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
Computing the least common subsumer w.r.t. a background terminology.
392-420
- Philippe Balbiani, Tinko Tinchev:
Line-based affine reasoning in Euclidean plane.
421-434
- Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
Termination of logic programs with imperfect information: applications and query procedure.
435-458
- James P. Delgrande, Torsten Schaub:
A consistency-based framework for merging knowledge bases.
459-477
- Lee Flax:
An algebraic approach to belief contraction and nonmonotonic entailment.
478-491
- Arild Waaler, Johan W. Klüwer, Tore Langholm, Espen H. Lian:
Only knowing with degrees of confidence.
492-518
Regular papers
Volume 5, Number 4, December 2007
Selected papers from the 4th International Workshop on Computational Models of Scientific Reasoning and Applications
Regular papers
Last update Fri May 24 20:31:34 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
