2395 search results - page 156 / 479 » Reasoning in Semantic Wikis |
139
click to vote
DLOG
2003
15 years 6 months ago
2003
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
136
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
125
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi...
175
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
135
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...