Sciweavers

1151 search results - page 1 / 231
» Collaborative Programming: Applications of Logic and Automat...
Sort
View
93
Voted
CADE
2008
Springer
16 years 28 days ago
Collaborative Programming: Applications of Logic and Automated Reasoning
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
Timothy L. Hinrichs
99
Voted
ICLP
2001
Springer
15 years 5 months ago
A Multi-adjoint Logic Approach to Abductive Reasoning
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
112
Voted
ICLP
1991
Springer
15 years 4 months ago
Abstract Interpretation of Logic Programs
Interpretation of Logic Programs 1
Patrick Cousot
174
Voted
LLL
1999
Springer
15 years 4 months ago
An Introduction to Inductive Logic Programming and Learning Language in Logic
Saso Dzeroski, James Cussens, Suresh Manandhar
126
Voted
ASP
2001
Springer
15 years 4 months ago
Learning by Answer Sets
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
Chiaki Sakama