×

zbMATH — the first resource for mathematics

Kowalski, Robert A.

Compute Distance To:
Author ID: kowalski.robert-a Recent zbMATH articles by "Kowalski, Robert A."
Published as: Kowalski, Robert; Kowalski, Robert A.; Kowalski, R.; Kowalski, R. A.
External Links: IdRef · MGP · Wikidata · dblp · GND
Documents Indexed: 42 Publications since 1969, including 4 Books
Biographic References: 4 Publications

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 815 times in 655 Documents Cited by Year
The semantics of predicate logic as a programming language. Zbl 0339.68004
van Emden, M. H.; Kowalski, R. A.
213
1976
A logic-based calculus of events. Zbl 1356.68221
Kowalski, Robert; Sergot, Marek
88
1986
An abstract, argumentation-theoretic approach to default reasoning. Zbl 1017.03511
Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; Toni, F.
87
1997
Logic for problem solving. Zbl 0426.68002
Kowalski, Robert
76
1979
Abductive logic programming. Zbl 0778.68081
Kakas, A. C.; Kowalski, R. A.; Toni, F.
67
1992
Linear resolution with selection function. Zbl 0234.68037
Kowalski, Robert; Kuehner, Donald
48
1971
Predicate logic as programming language. Zbl 0297.68006
Kowalski, Robert
37
1974
Dialectic proof procedures for assumption-based, admissible argumentation. Zbl 1131.68103
Dung, P. M.; Kowalski, R. A.; Toni, F.
36
2006
A proof procedure using connection graphs. Zbl 0357.68097
Kowalski, Robert
28
1975
Algorithm = logic + control. Zbl 0404.68010
Kowalski, Robert
24
1979
Semantic trees in automatic theorem-proving. Zbl 0217.54001
Kowalski, R.; Hayes, P. J.
16
1969
The iff proof procedure for abductive logic programming. Zbl 0890.68029
Fung, Tze Ho; Kowalski, Robert
15
1997
Search strategies for theorem-proving. Zbl 0218.68018
Kowalski, Robert
14
1969
Logic programs with exceptions. Zbl 0737.68015
Kowalski, Robert A.; Sadri, Fariba
8
1991
From logic programming towards multi-agent systems. Zbl 0940.68017
Kowalski, Robert; Sadri, Fariba
8
1999
Computational logic and human thinking. How to be artificially intelligent. Zbl 1230.68021
Kowalski, Robert
8
2011
Reconciling the event calculus with the situation calculus. Zbl 0882.68028
Kowalski, Robert; Sadri, Fariba
6
1997
AND-OR graphs, theorem-proving graphs and bi-directional search. Zbl 0257.68087
Kowalski, R.
6
1972
An agent language with destructive assignment and model-theoretic semantics. Zbl 1286.68417
Kowalski, Robert; Sadri, Fariba
5
2010
Logic and semantic networks. Zbl 0394.68063
Deliyanni, Amaryllis; Kowalski, Robert A.
4
1979
Reactive computing as model generation. Zbl 1333.68108
Kowalski, Robert; Sadri, Fariba
4
2015
Programming in logic without logic programming. Zbl 1379.68095
Kowalski, Robert; Sadri, Fariba
4
2016
The relation between logic programming and logic specification. Zbl 0549.68018
Kowalski, R.
3
1984
Abductive logic programming agents with destructive databases. Zbl 1230.68200
Kowalski, Robert; Sadri, Fariba
2
2011
Logic programming in artificial intelligence. Zbl 0742.68009
Kowalski, Robert A.
2
1991
Logic programming. Zbl 1404.68008
Kowalski, Robert
2
2014
Logic without model theory. Zbl 0820.03012
Kowalski, Robert
1
1994
Is logic really dead or only just sleeping? Zbl 1053.68535
Kowalski, Robert
1
2001
A metalogic programming approach to multi-agent knowledge and belief. Zbl 0755.68122
Kowalski, Robert; Kim, Jin-Sang
1
1991
Obligation as optimal goal satisfaction. Zbl 1436.03135
Kowalski, Robert; Satoh, Ken
1
2018
Obligation as optimal goal satisfaction. Zbl 1436.03135
Kowalski, Robert; Satoh, Ken
1
2018
Programming in logic without logic programming. Zbl 1379.68095
Kowalski, Robert; Sadri, Fariba
4
2016
Reactive computing as model generation. Zbl 1333.68108
Kowalski, Robert; Sadri, Fariba
4
2015
Logic programming. Zbl 1404.68008
Kowalski, Robert
2
2014
Computational logic and human thinking. How to be artificially intelligent. Zbl 1230.68021
Kowalski, Robert
8
2011
Abductive logic programming agents with destructive databases. Zbl 1230.68200
Kowalski, Robert; Sadri, Fariba
2
2011
An agent language with destructive assignment and model-theoretic semantics. Zbl 1286.68417
Kowalski, Robert; Sadri, Fariba
5
2010
Dialectic proof procedures for assumption-based, admissible argumentation. Zbl 1131.68103
Dung, P. M.; Kowalski, R. A.; Toni, F.
36
2006
Is logic really dead or only just sleeping? Zbl 1053.68535
Kowalski, Robert
1
2001
From logic programming towards multi-agent systems. Zbl 0940.68017
Kowalski, Robert; Sadri, Fariba
8
1999
An abstract, argumentation-theoretic approach to default reasoning. Zbl 1017.03511
Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; Toni, F.
87
1997
The iff proof procedure for abductive logic programming. Zbl 0890.68029
Fung, Tze Ho; Kowalski, Robert
15
1997
Reconciling the event calculus with the situation calculus. Zbl 0882.68028
Kowalski, Robert; Sadri, Fariba
6
1997
Logic without model theory. Zbl 0820.03012
Kowalski, Robert
1
1994
Abductive logic programming. Zbl 0778.68081
Kakas, A. C.; Kowalski, R. A.; Toni, F.
67
1992
Logic programs with exceptions. Zbl 0737.68015
Kowalski, Robert A.; Sadri, Fariba
8
1991
Logic programming in artificial intelligence. Zbl 0742.68009
Kowalski, Robert A.
2
1991
A metalogic programming approach to multi-agent knowledge and belief. Zbl 0755.68122
Kowalski, Robert; Kim, Jin-Sang
1
1991
A logic-based calculus of events. Zbl 1356.68221
Kowalski, Robert; Sergot, Marek
88
1986
The relation between logic programming and logic specification. Zbl 0549.68018
Kowalski, R.
3
1984
Logic for problem solving. Zbl 0426.68002
Kowalski, Robert
76
1979
Algorithm = logic + control. Zbl 0404.68010
Kowalski, Robert
24
1979
Logic and semantic networks. Zbl 0394.68063
Deliyanni, Amaryllis; Kowalski, Robert A.
4
1979
The semantics of predicate logic as a programming language. Zbl 0339.68004
van Emden, M. H.; Kowalski, R. A.
213
1976
A proof procedure using connection graphs. Zbl 0357.68097
Kowalski, Robert
28
1975
Predicate logic as programming language. Zbl 0297.68006
Kowalski, Robert
37
1974
AND-OR graphs, theorem-proving graphs and bi-directional search. Zbl 0257.68087
Kowalski, R.
6
1972
Linear resolution with selection function. Zbl 0234.68037
Kowalski, Robert; Kuehner, Donald
48
1971
Semantic trees in automatic theorem-proving. Zbl 0217.54001
Kowalski, R.; Hayes, P. J.
16
1969
Search strategies for theorem-proving. Zbl 0218.68018
Kowalski, Robert
14
1969
all top 5

Cited by 876 Authors

14 Toni, Francesca
13 Phan Minh Dung
11 Minker, Jack
10 Denecker, Marc
10 Eiter, Thomas
10 Lamma, Evelina
10 Lobo, Jorge
9 Cabalar, Pedro
9 Inoue, Katsumi
9 Kowalski, Robert A.
9 Mello, Paola
9 Truszczyński, Mirosław
8 Hunter, Anthony
8 Marek, V. Wiktor
8 Palamidessi, Catuscia
7 Artikis, Alexander
7 Sakama, Chiaki
6 Bogaerts, Bart
6 Brogi, Antonio
6 Dunne, Paul E.
6 Paliouras, Georgios
6 Sadri, Fariba
6 Shen, Yidong
6 Vennekens, Joost
5 Alberti, Marco
5 Amgoud, Leila
5 Arieli, Ofer
5 Hölldobler, Steffen
5 Levi, Giorgio
5 Moniz Pereira, Luís
5 Okhotin, Alexander
5 Rajasekar, Arcot K.
5 Russo, Alessandra M.
5 Sartor, Giovanni
5 Son, Tran Cao
5 Torroni, Paolo
5 Yamasaki, Susumu
4 Baral, Chitta R.
4 Barash, Mikhail
4 Baroni, Pietro
4 Bench-Capon, Trevor J. M.
4 Besnard, Philippe
4 Betz, Gregor
4 Bibel, Wolfgang
4 Caminada, Martin W. A.
4 De Schreye, Danny
4 Furbach, Ulrich
4 Gabbay, Dov M.
4 Gavanelli, Marco
4 Iranzo, Pascual Julián
4 Leone, Nicola
4 Levesque, Hector J.
4 Liao, Beishui
4 Lifschitz, Vladimir
4 Mancarella, Paolo
4 Reiter, Raymond
4 Schlipf, John Stewart
4 Subrahmanian, V. S.
4 Szeider, Stefan
4 Thang, Phan Minh
4 Van Gelder, Allen
4 Zaniolo, Carlo
3 Alcântara, João
3 Bonner, Anthony J.
3 Bruynooghe, Maurice
3 Confalonieri, Roberto
3 d’Avila Garcez, Artur S.
3 de Boer, Frank S.
3 Decker, Hendrik
3 Delahaye, Jean-Paul
3 Diéguez, Martín
3 Dvořák, Wolfgang
3 Fandinno, Jorge
3 Fink, Michael
3 Fishman, Daniel H.
3 Fitting, Melvin Chris
3 Gabbrielli, Maurizio
3 Gelfond, Michael
3 Giacobazzi, Roberto
3 Giacomin, Massimiliano
3 Gottlob, Georg
3 Lin, Fangzhen
3 Magnani, Lorenzo
3 Modgil, Sanjay
3 Moreno, Ginés
3 Nieves, Juan Carlos
3 Nilsson, Ulf S.
3 Orgun, Mehmet Ali
3 Pontelli, Enrico
3 Ray, Oliver
3 Remmel, Jeffrey B.
3 Riguzzi, Fabrizio
3 Riveret, Régis
3 Rondogiannis, Panos
3 Satoh, Ken
3 Schaub, Torsten H.
3 Schulz, Claudia
3 Sergot, Marek J.
3 Strasser, Christian
3 Stuckey, Peter James
...and 776 more Authors
all top 5

Cited in 82 Serials

108 Artificial Intelligence
88 Theoretical Computer Science
46 Annals of Mathematics and Artificial Intelligence
41 Theory and Practice of Logic Programming
25 Journal of Automated Reasoning
22 Journal of Applied Logic
21 New Generation Computing
20 International Journal of Approximate Reasoning
14 Journal of Applied Non-Classical Logics
13 Information Processing Letters
11 Journal of Symbolic Computation
11 Machine Learning
8 Journal of Computer and System Sciences
7 Information Sciences
7 Synthese
7 Information and Computation
6 Acta Informatica
6 Discrete Applied Mathematics
6 Journal of Philosophical Logic
6 Studia Logica
6 RAIRO. Informatique Théorique et Applications
5 Computers & Mathematics with Applications
5 Fuzzy Sets and Systems
5 International Journal of Computer & Information Sciences
5 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
4 Journal of Computer Science and Technology
4 The Journal of Logic and Algebraic Programming
4 ACM Transactions on Computational Logic
3 The Journal of Symbolic Logic
3 Science of Computer Programming
3 Annals of Pure and Applied Logic
2 Kybernetika
2 RAIRO, Informatique Théorique
2 Algorithmica
2 International Journal of Parallel Programming
2 Computers & Operations Research
2 International Journal of Intelligent Systems
2 Formal Aspects of Computing
2 International Journal of Computer Mathematics
2 Archive for Mathematical Logic
2 Journal of Computer and Systems Sciences International
2 Computational & Mathematical Organization Theory
2 Computational Intelligence
2 Frontiers of Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 International Journal of General Systems
1 Journal of the Franklin Institute
1 Biometrical Journal
1 BIT
1 Calcolo
1 Journal of Soviet Mathematics
1 Programming and Computer Software
1 Software. Practice & Experience
1 Cybernetics and Systems
1 Journal of Economic Dynamics & Control
1 Applied Mathematics Letters
1 Mathematical and Computer Modelling
1 AI Communications
1 Annals of Operations Research
1 International Journal of Foundations of Computer Science
1 Computer Science in Economics and Management
1 Applied Intelligence
1 Artificial Intelligence Review
1 European Journal of Operational Research
1 Applicable Algebra in Engineering, Communication and Computing
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Journal of Functional Programming
1 Constraints
1 Science in China. Series E
1 Parallel Algorithms and Applications
1 Theory of Computing Systems
1 Topoi
1 Erkenntnis
1 Foundations of Science
1 Fundamenta Informaticae
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Quantitative Finance
1 BIT. Nordisk Tidskrift for Informationsbehandling
1 The Review of Symbolic Logic
1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
1 Nonlinear Analysis. Theory, Methods & Applications

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.