Logics in Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

70

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540232421, 9783540302278

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Qualitative Action Theory

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30227-8_9 ◽

2004 ◽

pp. 70-81

Author(s):

Stefan Wölfl

Keyword(s):

Download Full-text

Explaining Subsumption by Optimal Interpolation

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30227-8_35 ◽

2004 ◽

pp. 413-425 ◽

Author(s):

Stefan Schlobach

Keyword(s):

Optimal Interpolation

Download Full-text

On the Logic of ‘Being Motivated to Achieve ρ, Before δ’

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30227-8_29 ◽

2004 ◽

pp. 334-346 ◽

Author(s):

Jan Broersen

Download Full-text

Soundness and Completeness of an “Efficient” Negation for Prolog

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30227-8_25 ◽

2004 ◽

pp. 279-293

Author(s):

Juan José Moreno-Navarro ◽

Susana Muñoz-Hernández

Keyword(s):

Soundness And Completeness

Download Full-text

Characterizations for Relativized Notions of Equivalence in Answer Set Programming

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30227-8_16 ◽

2004 ◽

pp. 161-173 ◽

Author(s):

Stefan Woltran

Keyword(s):

Answer Set Programming ◽

Download Full-text

OLEX – A Reasoning-Based Text Classifier

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30227-8_66 ◽

2004 ◽

pp. 722-725 ◽

Author(s):

Chiara Cumbo ◽

Salvatore Iiritano ◽

Pasquale Rullo

Download Full-text

Computing the Least Common Subsumer w.r.t. a Background Terminology

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30227-8_34 ◽

2004 ◽

pp. 400-412 ◽

Author(s):

Franz Baader ◽

Baris Sertkaya ◽

Anni-Yasmin Turhan

Download Full-text

Sorted Multi-adjoint Logic Programs: Termination Results and Applications

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30227-8_23 ◽

2004 ◽

pp. 252-265 ◽

Author(s):

C. V. Damásio ◽

J. Medina ◽

M. Ojeda-Aciego

Keyword(s):

Download Full-text

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30227-8_19 ◽

2004 ◽

pp. 200-212 ◽

Author(s):

Wolfgang Faber ◽

Nicola Leone ◽

Gerald Pfeifer

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

A Logic with Conditional Probabilities

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30227-8_21 ◽

2004 ◽

pp. 226-238 ◽

Author(s):

Miodrag Rašković ◽

Zoran Ognjanović ◽

Zoran Marković

Keyword(s):

Conditional Probabilities

Download Full-text