1588 search results - page 10 / 318 » On the Logic of Constitutive Rules |
FLAIRS
2003
15 years 1 months ago
2003
Data mining is the process of extracting implicit, previously unknown, and potentially useful information from data in databases. It is widely recognized as a useful tool for deci...
127
click to vote
JAIR
2007
14 years 11 months ago
2007
We report on a successful experiment of computeraided theorem discovery in the area of logic programming with answer set semantics. Specifically, with the help of computers, we d...
SLOGICA
2008
14 years 11 months ago
2008
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical a...
111
click to vote
ENTCS
2006
14 years 11 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...