1151 search results - page 19 / 231 » Collaborative Programming: Applications of Logic and Automat... |
ICLP
1994
Springer
15 years 1 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
123
click to vote
NMR
2004
Springer
15 years 3 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
DLOG
2001
14 years 11 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...