1269 search results - page 76 / 254 » Pi-Calculus in Logical Form |
113
click to vote
SIGLEX
1991
15 years 4 months ago
1991
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...
97
Voted
CORR
2008
Springer
15 years 21 days ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
91
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Querying any information system requires the knowledge of some formal language, making it inaccessible to computer-na?ve potential users. We propose a new intuitive querying mecha...
172
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
109
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...