3983 search results - page 19 / 797 » Conceptual logic programs |
WOA
2007
13 years 9 months ago
2007
—Reasoning by interrogation is one of the most ancient and experimented ways of reasoning. Originated by the Aristotelian elenchus, it has been used for many purposes, such as th...
JODS
2007
13 years 8 months ago
2007
This paper describes a theoretical framework for inducing knowledge from incomplete data sets. The general framework can be used with any formalism based on a lattice structure. It...
ENTCS
2006
13 years 8 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...
MICAI
2005
Springer
14 years 2 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
CL
2006
Springer
13 years 8 months ago
2006
Springer
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...