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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540232421, 9783540302278

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 14

Author(s):

Miodrag Rašković ◽

Zoran Ognjanović ◽

Zoran Marković

Keyword(s):

Conditional Probabilities

Download Full-text

Hierarchical Decision Making by Autonomous Agents

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

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

2004 ◽

pp. 44-56 ◽

Cited By ~ 2

Author(s):

Stijn Heymans ◽

Davy Van Nieuwenborgh ◽

Dirk Vermeir

Keyword(s):

Decision Making ◽

Autonomous Agents ◽

Hierarchical Decision Making ◽

Hierarchical Decision

Download Full-text

The CIFF Proof Procedure for Abductive Logic Programming with Constraints

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

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

2004 ◽

pp. 31-43 ◽

Cited By ~ 22

Author(s):

U. Endriss ◽

P. Mancarella ◽

F. Sadri ◽

G. Terreni ◽

F. Toni

Keyword(s):

Logic Programming ◽

Abductive Logic ◽

Abductive Logic Programming ◽

Proof Procedure

Download Full-text

Two Approaches to Merging Knowledge Bases

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

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

2004 ◽

pp. 426-438 ◽

Cited By ~ 3

Author(s):

James P. Delgrande ◽

Torsten Schaub

Keyword(s):

Knowledge Bases

Download Full-text

Practical Reasoning for Uncertain Agents

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

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

2004 ◽

pp. 82-94 ◽

Cited By ~ 7

Author(s):

Nivea de C. Ferreira ◽

Michael Fisher ◽

Wiebe van der Hoek

Keyword(s):

Practical Reasoning

Download Full-text

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):

Action Theory

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 22

Author(s):

Stefan Woltran

Keyword(s):

Answer Set Programming ◽

Answer Set

Download Full-text

Logics in Artificial Intelligence - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Logic with Conditional Probabilities

Hierarchical Decision Making by Autonomous Agents

The CIFF Proof Procedure for Abductive Logic Programming with Constraints

Two Approaches to Merging Knowledge Bases

Practical Reasoning for Uncertain Agents

Qualitative Action Theory

Explaining Subsumption by Optimal Interpolation

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

Soundness and Completeness of an “Efficient” Negation for Prolog

Characterizations for Relativized Notions of Equivalence in Answer Set Programming

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