1814 search results - page 121 / 363 » Extended First-Order Logic |
113
Voted
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
249
click to vote
FMCAD
1998
Springer
15 years 7 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
120
click to vote
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
116
Voted
AAAI
1998
15 years 4 months ago
1998
This paper describes the software architecture of an autonomous tour-guide/tutor robot. This robot was recently deployed in the "Deutsches Museum Bonn," were it guided h...
124
Voted
AI
2004
Springer
15 years 3 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...