2303 search results - page 375 / 461 » On the logic of argumentation theory |
163
click to vote
LATA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
183
click to vote
ATVA
2009
Springer
16 years 29 days ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
161
click to vote
CIKM
2009
Springer
16 years 29 days ago
2009
Springer
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
190
click to vote
LFCS
2009
Springer
16 years 28 days ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
182
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...