Sciweavers

Share
AMAI
2007
Springer
9 years 1 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans
AMAI
2007
Springer
9 years 1 months ago
Reasoning about non-immediate triggers in biological networks
Modeling molecular interactions in biological networks is important from various perspectives such as predicting side effects of drugs, explaining unusual cellular behavior and dr...
Nam Tran, Chitta Baral
AMAI
2007
Springer
9 years 1 months ago
A new modal logic for reasoning about space: spatial propositional neighborhood logic
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
Antonio Morales, Isabel Navarrete, Guido Sciavicco
AMAI
2007
Springer
9 years 1 months ago
Database querying under changing preferences
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modification: a query tran...
Jan Chomicki
AMAI
2007
Springer
9 years 1 months ago
Comparing action descriptions based on semantic preferences
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
AMAI
2007
Springer
9 years 1 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
AMAI
2007
Springer
9 years 1 months ago
Partial equilibrium logic
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
Pedro Cabalar, Sergei P. Odintsov, David Pearce, A...
AMAI
2007
Springer
9 years 1 months ago
Evolving objects in temporal information systems
Alessandro Artale, Christine Parent, Stefano Spacc...
AMAI
2007
Springer
9 years 1 months ago
An introduction to fuzzy answer set programming
Davy Van Nieuwenborgh, Martine De Cock, Dirk Verme...
books