AMAI
2007
Springer
14 years 17 days ago
2007
Springer
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...
AMAI
2007
Springer
14 years 17 days ago
2007
Springer
Modeling molecular interactions in biological networks is important from various perspectives such as predicting side effects of drugs, explaining unusual cellular behavior and dr...
AMAI
2007
Springer
14 years 17 days ago
2007
Springer
AMAI
2007
Springer
14 years 17 days ago
2007
Springer
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...
AMAI
2007
Springer
14 years 17 days ago
2007
Springer
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...
AMAI
2007
Springer
14 years 17 days ago
2007
Springer
AMAI
2007
Springer
14 years 17 days ago
2007
Springer
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...
AMAI
2007
Springer
14 years 17 days ago
2007
Springer
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...
AMAI
2007
Springer
14 years 17 days ago
2007
Springer
AMAI
2007
Springer
14 years 17 days ago
2007
Springer