215 search results - page 35 / 43 » Connecting a Logical Framework to a First-Order Logic Prover |
100
click to vote
IJCAI
1989
15 years 24 days ago
1989
We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
107
click to vote
EPIA
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
112
click to vote
XSYM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
108
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
104
click to vote
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...