-
1
-
-
20144379478
-
Normal form transformations
-
chapter 5, Elsevier Science B. V
-
M. Baaz, U. Egly, and A. Leitsch. Normal Form Transformations. In Hand book of Automated Reasoning, volume I, chapter 5, pages 273-333. Elsevier Science B. V., 2001.
-
(2001)
Hand book of Automated Reasoning
, vol.1
, pp. 273-333
-
-
Baaz, M.1
Egly, U.2
Leitsch, A.3
-
2
-
-
0000970038
-
Resolution-based th eorem proving for many-valued logics
-
M. Baaz and C. G. Fermuller. Resolution-based Th eorem Proving for Many-valued Logics. Journal of Symbolic Computation, 19(4):353-391, 1995.
-
(1995)
Journal of Symbolic Computation
, vol.19
, Issue.4
, pp. 353-391
-
-
Baaz, M.1
Fermuller, C.G.2
-
3
-
-
79955747988
-
Declarative specification and solution of combinatorial auctions using logic programming
-
C. Baral and C. Uyan. Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. In Proc. LPNMR-01, pages 186-199, 2001.
-
(2001)
Proc. LPNMR-01
, pp. 186-199
-
-
Baral, C.1
Uyan, C.2
-
4
-
-
0031632503
-
An algorithm to evaluate quantified boolean formulae
-
M. Cadoli, A. Giovanardi, and M. Schaerf. An Algorithm to Evaluate Quantified Boolean Formulae. In Proc. AAAI-98, pages 262-267, 1998.
-
(1998)
Proc. AAAI-98
, pp. 262-267
-
-
Cadoli, M.1
Giovanardi, A.2
Schaerf, M.3
-
6
-
-
0030211060
-
On different structure-preserving translations to normal form
-
U. Egly. On Different Structure-Preserving Translations to Normal Form. Journal of Symbolic Computation, 22(2):121-142, 1996.
-
(1996)
Journal of Symbolic Computation
, vol.22
, Issue.2
, pp. 121-142
-
-
Egly, U.1
-
7
-
-
0030733155
-
On definitional transformations to normal form for intuitionistic logic
-
U. Egly. On Definitional Transformations to Normal Form for Intuitionistic Logic. Fundamenta Informaticae, 29(1, 2):165-201, 1997.
-
(1997)
Fundamenta Informaticae
, vol.29
, Issue.1-2
, pp. 165-201
-
-
Egly, U.1
-
8
-
-
84946713790
-
A deductive system for non-monotonic reasoning
-
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A Deductive System for Non-monotonic Reasoning. In Proc. LPNMR-97, pages 363-374, 1997.
-
(1997)
Proc. LPNMR-97
, pp. 363-374
-
-
Eiter, T.1
Leone, N.2
Mateis, C.3
Pfeifer, G.4
Scarcello, F.5
-
9
-
-
0002701297
-
The Kr system DLV: Progress report, comparisons and ben chmarks
-
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The KR System dlv: Progress Report, Comparisons and Ben chmarks. In Proc. KR-98, pages 406-417, 1998.
-
(1998)
Proc. KR-98
, pp. 406-417
-
-
Eiter, T.1
Leone, N.2
Mateis, C.3
Pfeifer, G.4
Scarcello, F.5
-
10
-
-
85158165209
-
A distributed algorithm to evaluate quantified boolean formulas
-
R. Feldmann, B. Monien, and S. Schamberger. A Distributed Algorithm to Evaluate Quantified Boolean Formulas. In Proc. AAAI-00, pages 285-290, 2000.
-
(2000)
Proc. AAAI-00
, pp. 285-290
-
-
Feldmann, R.1
Monien, B.2
Schamberger, S.3
-
12
-
-
77951505493
-
Classical negation in logic programs and disjunctive databases
-
M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.
-
(1991)
New Generation Computing
, vol.9
, pp. 365-385
-
-
Gelfond, M.1
Lifschitz, V.2
-
13
-
-
84867751993
-
Qube: A system for deciding quantified boolean formulas satisfiability
-
pages 364-369
-
E. Giunchiglia, M. Narizzano, and A. Tacchella. QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. In Proc. IJCAR-01, pages 364-369, 2001.
-
(2001)
Proc. IJCAR-01
-
-
Giunchiglia, E.1
Narizzano, M.2
Tacchella, A.3
-
15
-
-
0000165644
-
Short conjunctive normal forms in finitely valuedlo gics
-
R. Hahnle. Short Conjunctive Normal Forms in Finitely ValuedLo gics. Journal of Logic and Computation, 4(6):905-927, 1994.
-
(1994)
Journal of Logic and Computation
, vol.4
, Issue.6
, pp. 905-927
-
-
Hahnle, R.1
-
16
-
-
84867767739
-
Bounded LTL model checking with stable models
-
K. Heljanko and I. Niemela. Bounded LTL Model Checking with Stable Models. In Proc. LPNMR-01, pages 200-212, 2001.
-
(2001)
Proc. LPNMR-01
, pp. 200-212
-
-
Heljanko, K.1
Niemela, I.2
-
18
-
-
77953023470
-
On the intertranslatability of autoepistemic, default and priorit y logics, and p arallel circumscription
-
T. Janhunen. On the Intertranslatability of Autoepistemic, Default and Priorit y Logics, and P arallel Circumscription. In Proc. JELIA-98, pages 216-232, 1998.
-
(1998)
Proc. JELIA-98
, pp. 216-232
-
-
Janhunen, T.1
-
19
-
-
84867817882
-
On the effect of default negation on the expressiveness of disjunctive rules
-
T. Janhunen. On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. In Proc. LPNMR-01, pages 93-106, 2001.
-
(2001)
Proc. LPNMR-01
, pp. 93-106
-
-
Janhunen, T.1
-
20
-
-
0002037968
-
Resolution for quantified boolean formulas
-
H. Kleine-Buning, M. Karpinski, and A. Flogel. Resolution for QuantifiedBo olean Formulas. Information and Computation, 117(1):12-18, 1995.
-
(1995)
Information and Computation
, vol.117
, Issue.1
, pp. 12-18
-
-
Kleine-Buning, H.1
Karpinski, M.2
Flogel, A.3
-
22
-
-
0002239899
-
Answer set planning
-
V. Lifschitz. Answer Set Planning. In Proc. ICLP-99, pages 23-37, 1999.
-
(1999)
Proc. ICLP-99
, pp. 23-37
-
-
Lifschitz, V.1
-
23
-
-
84945953994
-
Strongly equivalent logic programs
-
V. Lifschitz, D. Pearce, and A. Valverde. Strongly Equivalent Logic Programs. ACM Transactions on Computational Logic, 2(4):526-541, 2001.
-
(2001)
ACM Transactions on Computational Logic
, vol.2
, Issue.4
, pp. 526-541
-
-
Lifschitz, V.1
Pearce, D.2
Valverde, A.3
-
24
-
-
0042094689
-
Nested expressions in logic programs
-
V. Lifschitz, L. Tang, and H. Turner. Nested Expressions in Logic Programs. Annals of Mathematics and Artificial Intelligence, 25(3-4):369-389, 1999.
-
(1999)
Annals of Mathematics and Artificial Intelligence
, vol.25
, Issue.3-4
, pp. 369-389
-
-
Lifschitz, V.1
Tang, L.2
Turner, H.3
-
25
-
-
0345537156
-
Reducing strong equivalence of logic programs to entailment in classical propositional logic
-
F. Lin. Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. In Proc. KR-02, pages 170-176, 2002.
-
(2002)
Proc. KR-02
, pp. 170-176
-
-
Lin, F.1
-
26
-
-
26844469818
-
Resolution strategies for the intuitionistic logic
-
Springer
-
G. Mints. Resolution Strategies for the Intuitionistic Logic. In Constraint Programming: NATO ASI Series, pages 282-304. Springer, 1994.
-
(1994)
Constraint Programming: NATO ASI Series
, pp. 282-304
-
-
Mints, G.1
-
27
-
-
84946744426
-
Smodels: An implementation of the stable model and well-founded semantics for normal logic programs
-
I. Niemela and P. Simons. Smodels: An Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs. In Proc. LPNMR-97, pages 420-429, 1997.
-
(1997)
Proc. LPNMR-97
, pp. 420-429
-
-
Niemela, I.1
Simons, P.2
-
28
-
-
84955588654
-
A new logical characterisation of stable models and answer sets
-
Springer
-
D. Pearce. A New Logical Characterisation of Stable Models and Answer Sets. In Non-Monotonic Extensions of Logic Programming, pages 57-70. Springer, 1997.
-
(1997)
Non-Monotonic Extensions of Logic Programming
, pp. 57-70
-
-
Pearce, D.1
-
29
-
-
2442455391
-
From here to there: Stable negation in logic programming
-
Kluwer
-
D. Pearce. From Here to There: Stable Negation in Logic Programming. In What is Negation? Kluwer, 1999.
-
(1999)
What is Negation?
-
-
Pearce, D.1
-
31
-
-
84867777672
-
Computing equilibrium models using signedf ormulas
-
D. Pearce, I. de Guzman, and A. Valverde. Computing Equilibrium Models Using SignedF ormulas. In Proc. CL-00, pages 688-702, 2000.
-
(2000)
Proc. CL-00
, pp. 688-702
-
-
Pearce, D.1
De Guzman, I.2
Valverde, A.3
-
32
-
-
84860173301
-
Encodings for equilibrium logic and logic programs with nestedex pressions
-
Springer
-
D. Pearce, H. Tompits, and S. Woltran. Encodings for Equilibrium Logic and Logic Programs with NestedEx pressions. In Proc. EPIA-01, pages 306-320. Springer, 2001.
-
(2001)
Proc. EPIA-01
, pp. 306-320
-
-
Pearce, D.1
Tompits, H.2
Woltran, S.3
-
34
-
-
84880670427
-
Improvements to the evaluation of quantified boolean formulae
-
J. Rintanen. Improvements to the Evaluation of QuantifiedBo olean Formulae. In Proc. IJCAI-99, pages 1192-1197, 1999.
-
(1999)
Proc. IJCAI-99
, pp. 1192-1197
-
-
Rintanen, J.1
-
36
-
-
0003214883
-
On the complexity of proofs in propositional, logics
-
Reprintedin
-
G. Tseitin. On the Complexity of Proofs in Propositional Logics. Seminars in Mathematics, 8, 1970. Reprintedin.
-
(1970)
Seminars in Mathematics
, vol.8
-
-
Tseitin, G.1
|