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
Electronic Edition (link) BibTeX
- Antonio Badia:
Question answering and database querying: Bridging the gap with generalized quantification.
3-19
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Dan I. Moldovan, Christine Clark, Sanda M. Harabagiu, Daniel Hodges:
Cogex: A semantically and contextually enriched logic prover for question answering.
49-69
Electronic Edition (link) BibTeX
- Debra T. Burhans, Stuart C. Shapiro:
Defining answer classes using resolution refutation.
70-91
Electronic Edition (link) BibTeX
- Marco De Boni:
Using logical relevance for question answering.
92-103
Electronic Edition (link) BibTeX
- Tiphaine Dalmas, Bonnie L. Webber:
Answer comparison in automated question answering.
104-120
Electronic Edition (link) BibTeX
- Stefan Schlobach, David Ahn, Maarten de Rijke, Valentin Jijkoun:
Data-driven type checking in open domain question answering.
121-143
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Christopher D. Walton:
Verifiable agent dialogues.
197-213
Electronic Edition (link) BibTeX
- Laura Giordano, Alberto Martelli, Camilla Schwind:
Specifying and verifying interaction protocols in a temporal action logic.
214-234
Electronic Edition (link) BibTeX
- Franco Raimondi, Alessio Lomuscio:
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams.
235-251
Electronic Edition (link) BibTeX
- Yves Bontemps, Pierre-Yves Schobbens:
The computational complexity of scenario-based agent verification and design.
252-276
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer:
Security of multi-agent systems: A case study on comparison shopping.
303-332
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
Computing the least common subsumer w.r.t. a background terminology.
392-420
Electronic Edition (link) BibTeX
- Philippe Balbiani, Tinko Tinchev:
Line-based affine reasoning in Euclidean plane.
421-434
Electronic Edition (link) BibTeX
- Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
Termination of logic programs with imperfect information: applications and query procedure.
435-458
Electronic Edition (link) BibTeX
- James P. Delgrande, Torsten Schaub:
A consistency-based framework for merging knowledge bases.
459-477
Electronic Edition (link) BibTeX
- Lee Flax:
An algebraic approach to belief contraction and nonmonotonic entailment.
478-491
Electronic Edition (link) BibTeX
- Arild Waaler, Johan W. Klüwer, Tore Langholm, Espen H. Lian:
Only knowing with degrees of confidence.
492-518
Electronic Edition (link) BibTeX
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
Copyright © Sun May 17 00:06:20 2009
by Michael Ley (ley@uni-trier.de)