247 search results - page 41 / 50 » Logic Programming Approach to Automata-Based Decision Proced... |
CADE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
KDD
2003
ACM
15 years 10 months ago
2003
ACM
We describe techniques for combining two types of knowledge systems: expert and machine learning. Both the expert system and the learning system represent information by logical d...
195
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
INTENV
2010
14 years 4 months ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
102
click to vote
FMCAD
1998
Springer
15 years 2 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...