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

TOTAL DOCUMENTS

49

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540396253, 9783540396277

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Representing Action Domains with Numeric-Valued Fluents

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11853886_14 ◽

2006 ◽

pp. 151-163 ◽

Author(s):

Esra Erdem ◽

Alfredo Gabaldon

Download Full-text

Natural Deduction Calculus for Linear-Time Temporal Logic

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11853886_7 ◽

2006 ◽

pp. 56-68 ◽

Author(s):

Alexander Bolotov ◽

Artie Basukoski ◽

Oleg Grigoriev ◽

Vasilyi Shangin

Keyword(s):

Temporal Logic ◽

Natural Deduction ◽

Linear Time ◽

Linear Time Temporal Logic

Download Full-text

optsat: A Tool for Solving SAT Related Optimization Problems

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11853886_43 ◽

2006 ◽

pp. 485-489 ◽

Author(s):

Enrico Giunchiglia ◽

Marco Maratea

Keyword(s):

Optimization Problems

Download Full-text

Reasoning About an Agent Based on Its Revision History with Missing Inputs

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11853886_31 ◽

2006 ◽

pp. 373-385

Author(s):

Alexander Nittka

Keyword(s):

Agent Based ◽

Revision History

Download Full-text

Whatever You Say

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11853886_20 ◽

2006 ◽

pp. 229-241

Author(s):

Luke Hunsberger

Download Full-text

Representing Causal Information About a Probabilistic Process

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11853886_37 ◽

2006 ◽

pp. 452-464 ◽

Author(s):

Joost Vennekens ◽

Marc Denecker ◽

Maurice Bruynooghe

Keyword(s):

Causal Information ◽

Probabilistic Process

Download Full-text

April – An Inductive Logic Programming System

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11853886_42 ◽

2006 ◽

pp. 481-484 ◽

Author(s):

Nuno A. Fonseca ◽

Fernando Silva ◽

Rui Camacho

Keyword(s):

Logic Programming ◽

Inductive Logic Programming ◽

Inductive Logic ◽

Programming System

Download Full-text

On the Issue of Reinstatement in Argumentation

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11853886_11 ◽

2006 ◽

pp. 111-123 ◽

Author(s):

Martin Caminada

Download Full-text

On the Semantics of Logic Programs with Preferences

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11853886_18 ◽

2006 ◽

pp. 203-215 ◽

Author(s):

Sergio Greco ◽

Irina Trubitsyna ◽

Ester Zumpano

Keyword(s):

Logic Programs ◽

Semantics Of Logic Programs

Download Full-text

The QBFEVAL Web Portal

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11853886_45 ◽

2006 ◽

pp. 494-497 ◽

Author(s):

Massimo Narizzano ◽

Luca Pulina ◽

Armando Tacchella

Keyword(s):

Download Full-text