3053 search results - page 50 / 611 » A Logic of Abstract Argumentation |
AAAI
2004
13 years 11 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
FOIS
2006
13 years 11 months ago
2006
Abstract. Some events recur, and some happen only once. Galton refers to the latter as "once-only" events [1]. In a first-order logic of events that makes a type-token di...
ELP
1989
14 years 1 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
IFM
2009
Springer
14 years 4 months ago
2009
Springer
CAV
2007
Springer
14 years 3 months ago
2007
Springer