1941 search results - page 111 / 389 » Reasoning about Computations Using Two-Levels of Logic |
132
Voted
DLOG
2003
15 years 4 months ago
2003
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
122
click to vote
PRDC
2007
IEEE
15 years 9 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
113
click to vote
ACL
2009
15 years 1 months ago
2009
The development of Dialog-Based ComputerAssisted Language Learning (DB-CALL) systems requires research on the simulation of language learners. This paper presents a new method for...
122
click to vote
CAV
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
138
click to vote
CSL
2009
Springer
15 years 7 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...