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

A Logic with Conditional Probabilities

2004 ◽  
pp. 226-238 ◽  
Author(s):  
Miodrag Rašković ◽  
Zoran Ognjanović ◽  
Zoran Marković
Keyword(s):  
Conditional Probabilities

scholarly journals Hierarchical Decision Making by Autonomous Agents

2004 ◽  
pp. 44-56 ◽  
Author(s):  
Stijn Heymans ◽  
Davy Van Nieuwenborgh ◽  
Dirk Vermeir
Keyword(s):  
Decision Making ◽  
Autonomous Agents ◽  
Hierarchical Decision Making ◽  
Hierarchical Decision

scholarly journals The CIFF Proof Procedure for Abductive Logic Programming with Constraints

2004 ◽  
pp. 31-43 ◽  
Author(s):  
U. Endriss ◽  
P. Mancarella ◽  
F. Sadri ◽  
G. Terreni ◽  
F. Toni
Keyword(s):  
Logic Programming ◽  
Abductive Logic ◽  
Abductive Logic Programming ◽  
Proof Procedure

scholarly journals Two Approaches to Merging Knowledge Bases

2004 ◽  
pp. 426-438 ◽  
Author(s):  
James P. Delgrande ◽  
Torsten Schaub
Keyword(s):  
Knowledge Bases

Practical Reasoning for Uncertain Agents

2004 ◽  
pp. 82-94 ◽  
Author(s):  
Nivea de C. Ferreira ◽  
Michael Fisher ◽  
Wiebe van der Hoek
Keyword(s):  
Practical Reasoning

Qualitative Action Theory

2004 ◽  
pp. 70-81
Author(s):  
Stefan Wölfl
Keyword(s):  
Action Theory

Soundness and Completeness of an “Efficient” Negation for Prolog

2004 ◽  
pp. 279-293
Author(s):  
Juan José Moreno-Navarro ◽  
Susana Muñoz-Hernández
Keyword(s):  
Soundness And Completeness
Load More ...
Sign in / Sign up

Export Citation Format

Share Document