4573 search results - page 194 / 915 » Automated Reasoning |
107
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached
103
Voted
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
ctMachineforOz MichaelMehl,RalfScheidhauer,andChristianSchulte RR-95-0 ResearchRepo
237
Voted
NIL
1991
15 years 7 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.
93
Voted
DLOG
2007
15 years 6 months ago
2007
We present an new Prot´eg´e plugin for constructing a minimal satisfiability model of an OWL ontology and visualizing it in the original music score notation.
81
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk