Sciweavers

1097 search results - page 35 / 220
» Revision Programming = Logic Programming Integrity Constra...
Sort
View
139
Voted
PADL
2007
Springer
15 years 8 months ago
Aspect-Oriented Programming in Higher-Order and Linear Logic
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
Chuck C. Liang
ECAI
1998
Springer
15 years 6 months ago
Probabilistic Logic Programming
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
Thomas Lukasiewicz
AAAI
2000
15 years 3 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski
125
Voted
VLDB
2002
ACM
156views Database» more  VLDB 2002»
15 years 2 months ago
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu
72
Voted
ICLP
2007
Springer
15 years 8 months ago
Ontology Based Information Integration Using Logic Programming
Gergely Lukácsy, Péter Szeredi