4401 search results - page 269 / 881 » Computing with Default Logic |
190
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
261
click to vote
GD
2004
Springer
15 years 12 months ago
2004
Springer
We consider the following graph embedding question: given a graph G, is it possible to map its vertices to points in 3D such that G is isomorphic to the mutual nearest neighbor gra...
169
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
157
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
143
click to vote
ACL
1990
15 years 7 months ago
1990
In this paper, we represent singular definite noun phrases as functions in logical form. This representation is designed to model the behaviors of both anaphoric and non-anaphoric...