Sciweavers

2022 search results - page 30 / 405

» Complexity of Non-Monotonic Logics

83

Voted

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

15 years 4 months ago

Complexity of Computing with Extended Propositional Logic Programs

Download www.cs.uky.edu

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

claim paper

Read More »

72

Voted

LICS
1990
IEEE

81views Automated Reasoning» more LICS 1990»

Real-time Logics: Complexity and Expressiveness

15 years 4 months ago

Real-time Logics: Complexity and Expressiveness

Download mtc.epfl.ch

Rajeev Alur, Thomas A. Henzinger

claim paper

Read More »

96

TAMC
2010
Springer

241views Applied Computing» more TAMC 2010»

Proof Complexity of Non-classical Logics

15 years 4 months ago

Proof Complexity of Non-classical Logics

Download www.informatik.uni-bremen.de

Olaf Beyersdorff

claim paper

Read More »

107

Voted

EUSFLAT
2003

126views Fuzzy Logic» more EUSFLAT 2003»

On the complexity of propositional logics with an involutive negation

15 years 1 months ago

On the complexity of propositional logics with an involutive negation

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 »

88

AAAI
1990

100views Intelligent Agents» more AAAI 1990»

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

15 years 1 months ago

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

Download www.jos.org.cn

Jonathan Stillman

claim paper

Read More »

« Prev « First page 30 / 405 Last » Next »