Sciweavers

325 search results - page 25 / 65
» Representation Theory for Default Logic
Sort
View
SIGLEX
1991
15 years 29 days ago
Logical Structures in the Lexicon
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
John F. Sowa
ACSC
2002
IEEE
15 years 2 months ago
Representation and Reasoning for Goals in BDI Agents
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
John Thangarajah, Lin Padgham, James Harland
IMR
2004
Springer
15 years 2 months ago
Watertight Anisotropic Surface Meshing Using Quadrilateral Patches
This paper presents a simple technique for generating anisotropic surface triangulations using a generic unstructured quadrilateral decomposition of CAD entities that map to a log...
Robert Haimes, Michael J. Aftosmis
EACL
1989
ACL Anthology
14 years 10 months ago
Inference in DATR
DATR is a declarative language for representing a restricted class of inheritance networks, permitting both multiple and default inheritance. The principal intended area of applic...
Roger Evans, Gerald Gazdar
JAPLL
2011
92views more  JAPLL 2011»
14 years 4 months ago
Norms as ascriptions of violations: An analysis in modal logic
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...
Davide Grossi