JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Results in social choice theory such as the Arrow and GibbardSatterthwaite theorems constrain the existence of rational collective decision making procedures in groups of...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Boolean games are a class of two-player games which may be defined via a Boolean form over a set of atomic actions. A particular game on some form is instantiated by partitioning ...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer