3468 search results - page 337 / 694 » An open logical framework |
160
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
209
click to vote
AMSTERDAM
2009
15 years 4 months ago
2009
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
182
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...
197
click to vote
ICAIL
2003
ACM
16 years 18 hour ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
163
click to vote
ADBIS
2006
Springer
16 years 23 days ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...