Sciweavers

3119 search results - page 29 / 624
» General Default Logic
Sort
View
DALT
2008
Springer
13 years 9 months ago
Inductive Negotiation in Answer Set Programming
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
Chiaki Sakama
CORR
2002
Springer
169views Education» more  CORR 2002»
13 years 7 months ago
On the existence and multiplicity of extensions in dialectical argumentation
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant...
Bart Verheij
CC
2002
Springer
100views System Software» more  CC 2002»
13 years 7 months ago
Disambiguation Filters for Scannerless Generalized LR Parsers
In this paper we present the fusion of generalized LR parsing and scannerless parsing. This combination supports syntax definitions in which all aspects (lexical and context-free) ...
Mark van den Brand, Jeroen Scheerder, Jurgen J. Vi...
IJIS
2007
97views more  IJIS 2007»
13 years 7 months ago
Attribute-oriented fuzzy generalization in proximity- and similarity-based relational database systems
article we investigate an attribute-oriented induction approach for acquisition of abstract knowledge from data stored in a fuzzy database environment. We utilize a proximity-based...
Rafal A. Angryk, Frederick E. Petry
FUIN
2010
67views more  FUIN 2010»
13 years 5 months ago
Properties of Almost All Graphs and Generalized Quantifiers
We study 0-1 laws for extensions of first-order logic by Lindstr
Anuj Dawar, Erich Grädel