Search Sciweavers | Sciweavers

2022 search results - page 30 / 405

» Complexity of Non-Monotonic Logics

click to vote

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

15 years 2 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...

claim paper

Read More »

click to vote

LICS
1990
IEEE

81views Automated Reasoning» more LICS 1990»

Real-time Logics: Complexity and Expressiveness

15 years 2 months ago

Download mtc.epfl.ch

Rajeev Alur, Thomas A. Henzinger

claim paper

Read More »

click to vote

TAMC
2010
Springer

241views Applied Computing» more TAMC 2010»

Proof Complexity of Non-classical Logics

15 years 1 months ago

Download www.informatik.uni-bremen.de

Olaf Beyersdorff

claim paper

Read More »

Voted

EUSFLAT
2003

126views Fuzzy Logic» more EUSFLAT 2003»

On the complexity of propositional logics with an involutive negation

14 years 11 months ago

Download www.eusflat.org

Let C be the propositional calculus given by a standard SBL-algebra; C is obtained from C by adding an involutive negation, with axioms and deduction rules as in [4]. Then C i...

Zuzana Haniková

claim paper

Read More »

click to vote

AAAI
1990

100views Intelligent Agents» more AAAI 1990»

It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers