Sciweavers

1191 search results - page 4 / 239
» A Defeasible Ontology Language
Sort
View
LADS
2007
Springer
13 years 12 months ago
An Argumentation Based Semantics for Agent Reasoning
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
Sanjay Modgil
DKE
2010
144views more  DKE 2010»
13 years 5 months ago
Reusing ontologies and language components for ontology generation
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Semantic Web ontologies can provide use...
Deryle W. Lonsdale, David W. Embley, Yihong Ding, ...
FSS
2008
145views more  FSS 2008»
13 years 5 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...
ATAL
2004
Springer
13 years 9 months ago
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
Mehdi Dastani, Leendert W. N. van der Torre
IJAR
2008
129views more  IJAR 2008»
13 years 5 months ago
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
Teresa Alsinet, Carlos Iván Chesñeva...