3053 search results - page 86 / 611 » A Logic of Abstract Argumentation |
169
click to vote
TOCL
2008
15 years 6 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
160
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible
204
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...
158
Voted
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
202
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...