Sciweavers

2448 search results - page 85 / 490
» The Octahedron Abstract Domain
Sort
View
EKAW
2004
Springer
14 years 1 months ago
Knowledge Formulation for AI Planning
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
T. L. McCluskey, Ron M. Simpson
ATAL
1997
Springer
14 years 7 days ago
A Framework for Argumentation-Based Negotiation
Abstract. Many autonomous agents operate in domains in which the cooperation of their fellow agents cannot be guaranteed. In such domains negotiation is essential to persuade other...
Carles Sierra, Nicholas R. Jennings, Pablo Noriega...
DAARC
2007
Springer
97views Algorithms» more  DAARC 2007»
14 years 16 hour ago
Null Subjects Are Reflexives, Not Pronouns
Abstract. It has been a prevalent assumption in the literature that phonetically null Subjects of finite clauses are pronouns. This paper examines in detail this empirical generali...
António Horta Branco
CORR
2002
Springer
81views Education» more  CORR 2002»
13 years 8 months ago
Value withdrawal explanations: a theoretical tool for programming environments
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
Willy Lesaint
FOMI
2009
13 years 5 months ago
Do you still want to vote for your favorite politician? Ask Ontobella!
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
Pawel Garbacz, Marek Lechniak, Piotr Kulicki, Robe...