Sciweavers

2303 search results - page 120 / 461
» On the logic of argumentation theory
Sort
View
MLQ
2006
78views more  MLQ 2006»
15 years 6 months ago
Recursive logic frames
We define the concept of a logic frame, which extends the concept stract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the...
Saharon Shelah, Jouko A. Väänänen
FSTTCS
2000
Springer
15 years 10 months ago
Dynamically Ordered Probabilistic Choice Logic Programming
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Marina De Vos, Dirk Vermeir
FLAIRS
2006
15 years 7 months ago
Automated Generation of Interesting Theorems
In the logical theory of a set of axioms there are many boring logical consequences, and scattered among them there are a few interesting ones. The few interesting ones include th...
Yury Puzis, Yi Gao, Geoff Sutcliffe
DESRIST
2009
Springer
118views Education» more  DESRIST 2009»
15 years 11 months ago
Building theory in the sciences of the artificial
This essay extends Simon’s arguments in the Sciences of the Artificial to a critical examination of how theorizing in Information Technology disciplines should occur. The essay ...
Shirley Gregor