4008 search results - page 316 / 802 » An expressive language of signatures |
163
click to vote
AAAI
1993
15 years 8 months ago
1993
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
121
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
In gb, the importance of phrase-structure rules has dwindled in favour of nearness conditions. Today, nearness conditions play a major role in defining the correct linguistic rep...
145
click to vote
ENTCS
2006
15 years 6 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
185
click to vote
JAIR
2008
15 years 6 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
176
click to vote
LISP
2002
15 years 6 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...