• Publications
  • Influence
Constraint Logic Programming: A Survey
TLDR
Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Expand
  • 1,669
  • 142
  • PDF
The Semantics of Constraint Logic Programs
TLDR
The Constraint Logic Programming (CLP) Scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. Expand
  • 221
  • 31
  • PDF
Complete axiomatizations of the algebras of finite, rational and infinite trees
  • Michael J. Maher
  • Mathematics, Computer Science
  • [] Proceedings. Third Annual Information…
  • 5 July 1988
TLDR
Complete axiomizations for the algebras of infinite trees and infinite trees are presented. Expand
  • 304
  • 18
  • PDF
Argumentation Semantics for Defeasible Logic
TLDR
This paper establishes significant links between defeasible reasoning and argumentation. Expand
  • 254
  • 18
  • PDF
Representation results for defeasible logic
TLDR
This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but efficient formalism for nonmonotonic reasoning based on rules and priorities. Expand
  • 349
  • 17
  • PDF
Statistics for Technology.
TLDR
Statistics for technology , Statistics for technology, مرکز فناوری اطلاعات و رسانی . Expand
  • 242
  • 17
Logic Semantics for a Class of Committed-Choice Programs
  • 241
  • 16
Constraint Hierarchies and Logic Programming
TLDR
We describe a scheme for extending CLP(D) to include both required and preferential constraints, with an arbitrary number of strengths of preference. Expand
  • 154
  • 13
Propositional Defeasible Logic has Linear Complexity
TLDR
Defeasible logic is a rule-based nonmonotonic logic, with both strict and defeasible rules, and a priority relation on rules. Expand
  • 164
  • 12
  • PDF
Efficient Defeasible Reasoning Systems
TLDR
We present defeasible logic, a less-expressive but more efficient non-monotonic logic that can be used as a modeling language for practical applications, including modelling of regulations and business rules. Expand
  • 78
  • 12