Robert A. Kowalski

102 papers A* 5A 2B 10C 3Journal 31Unranked 40

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Two Kinds of Rules: Goal Rules and Belief Rules. RuleML+RR Robert A. Kowalski
2023	—	`ch.`	Combining Logic Programming and Imperative Programming in LPS. Prolog: The Next 50 Years Robert A. Kowalski, Fariba Sadri, Miguel Calejo, Jacinto A. Dávila
2023	—	`ch.`	Logical English for Law and Education. Prolog: The Next 50 Years Robert A. Kowalski, Jacinto A. Dávila, Galileo Sartor, Miguel Calejo
2023	—	`book`	Prolog: The Next 50 Years David Scott Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert A. Kowalski, Francesca Rossi
2022	—	`conf`	Integration of Logical English and s(CASP). ICLP Workshops Galileo Sartor, Jacinto A. Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert A. Kowalski
2022	J	`jnl`	Logical English meets legal English for swaps and derivatives. Artif. Intell. Law Robert A. Kowalski, Akber Datoo
2019	J	`jnl`	Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. Theory Pract. Log. Program. Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
2018	J	`jnl`	Obligation as Optimal Goal Satisfaction. J. Philos. Log. Robert A. Kowalski, Ken Satoh
2017	—	`conf`	How to do it with LPS (Logic-Based Production System). RuleML+RR (Supplement) Robert A. Kowalski, Fariba Sadri, Miguel Calejo
2017	J	`jnl`	Programming Machine Ethics by Luís Moniz Pereira and Ari Saptawijaya. AI Soc. Robert A. Kowalski
2017	—	`conf`	Satisfiability for First-order Logic as a Non-Modal Deontic Logic. Bridging@CogSci Robert A. Kowalski
2016	J	`jnl`	Programming in logic without logic programming. CoRR Robert A. Kowalski, Fariba Sadri
2016	J	`jnl`	Programming in logic without logic programming. Theory Pract. Log. Program. Robert A. Kowalski, Fariba Sadri
2015	—	`conf`	Computational Logic as an Intelligent Agent's Language of Thought. ICAART (1) Robert A. Kowalski
2015	J	`jnl`	Reactive Computing as Model Generation. New Gener. Comput. Robert A. Kowalski, Fariba Sadri
2014	—	`conf`	A Logical Characterization of a Reactive System Language. RuleML Robert A. Kowalski, Fariba Sadri
2014	—	`ch.`	Logic Programming. Computational Logic Robert A. Kowalski
2013	B	`conf`	Logic Programming in the 1970s. LPNMR Robert A. Kowalski
2012	—	`conf`	A Logic-Based Framework for Reactive Systems. RuleML Robert A. Kowalski, Fariba Sadri
2012	—	`conf`	Teleo-Reactive Abductive Logic Programs. Logic Programs, Norms and Action Robert A. Kowalski, Fariba Sadri
2012	—	`conf`	The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen H. Muggleton, Giovanni Sartor
2011	J	`jnl`	Abductive logic programming agents with destructive databases. Ann. Math. Artif. Intell. Robert A. Kowalski, Fariba Sadri
2011	—	`conf`	Artificial Intelligence and Human Thinking. ICCSW Robert A. Kowalski
2011	A*	`conf`	Artificial Intelligence and Human Thinking. IJCAI Robert A. Kowalski
2011	—	`conf`	WUENIC - A Case Study in Rule-Based Knowledge Representation and Reasoning. JSAI-isAI Workshops Robert A. Kowalski, Anthony Burton
2010	—	`conf`	An Agent Language with Destructive Assignment and Model-Theoretic Semantics. CLIMA Robert A. Kowalski, Fariba Sadri
2009	—	`ch.`	Assumption-Based Argumentation. Argumentation in Artificial Intelligence Phan Minh Dung, Robert A. Kowalski, Francesca Toni
2009	—	`conf`	Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR Robert A. Kowalski, Fariba Sadri
2006	J	`jnl`	Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. Phan Minh Dung, Robert A. Kowalski, Francesca Toni
2005	—	`ch.`	A Logic-based Calculus of Events. The Language of Time - A Reader Robert A. Kowalski, Marek J. Sergot
2005	—	`conf`	Reconciling Logic and Objects. ENC Robert A. Kowalski
2005	—	`conf`	The Logical Way to Be Artificially Intelligent. CLIMA Robert A. Kowalski
2002	—	`conf`	Directions for Logic Programming. Computational Logic: Logic Programming and Beyond Robert A. Kowalski
2001	B	`conf`	Is Logic Really Dead or Only Just Sleeping? ICLP Robert A. Kowalski
1999	J	`jnl`	From Logic Programming Towards Multi-Agent Systems. Ann. Math. Artif. Intell. Robert A. Kowalski, Fariba Sadri
1998	J	`jnl`	Executing Suspended Logic Programs. Fundam. Informaticae Robert A. Kowalski, Francesca Toni, Gerhard Wetzel
1997	J	`jnl`	An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Artif. Intell. Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni
1997	J	`jnl`	Reconciling the Event Calculus With the Situation Calculus. J. Log. Program. Robert A. Kowalski, Fariba Sadri
1997	J	`jnl`	The Iff Proof Procedure for Abductive Logic Programming. J. Log. Program. Tze Ho Fung, Robert A. Kowalski
1997	—	`conf`	Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. ILPS Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski
1996	J	`jnl`	Abstract Argumentation. Artif. Intell. Law Robert A. Kowalski, Francesca Toni
1996	B	`conf`	Logic Programming with Integrity Constraints. JELIA Robert A. Kowalski
1996	—	`conf`	PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). JICSLP Gerhard Wetzel, Robert A. Kowalski, Francesca Toni
1996	C	`conf`	Synthesis of Proof Procedures for Default Reasoning. LOPSTR Phan Minh Dung, Robert A. Kowalski, Francesca Toni
1996	—	`conf`	Towards a Unified Agent Architecture that Combines Rationality with Reactivity. Logic in Databases Robert A. Kowalski, Fariba Sadri
1996	—	`conf`	Using Meta-Logic to Reconcile Reactive with Rational Agents. PAAM Robert A. Kowalski
1995	—	`conf`	A Theorem-Proving approach to CLP. WLP Gerhard Wetzel, Robert A. Kowalski, Francesca Toni
1995	C	`conf`	An Argumentation-Theoretic Approach to Logic Program Transformation. LOPSTR Francesca Toni, Robert A. Kowalski
1995	—	`conf`	Logical Foundations for Multi-agent Systems. GULP-PRODE Robert A. Kowalski
1995	B	`conf`	Reduction of Abductive Logic Programs to Normal Logic Programs. ICLP Francesca Toni, Robert A. Kowalski
1995	B	`conf`	Variants of the Event Calculus. ICLP Fariba Sadri, Robert A. Kowalski
1995	J	`jnl`	Workshop Report: Application of Logic Programming to Legal Reasoning. New Gener. Comput. Robert A. Kowalski
1994	—	`conf`	Temporal Database Technology for Air Traffic Flow Management. ADB Suryanarayana M. Sripada, B. L. Rosser, J. M. Bedford, Robert A. Kowalski
1994	—	`conf`	The Situation Calculus and Event Calculus Compared. ILPS Robert A. Kowalski, Fariba Sadri
1994	—	`conf`	Towards a Declarative and Efficient Glass-Box CLP Language. WLP Robert A. Kowalski, Francesca Toni, Gerhard Wetzel
1993	B	`conf`	An Assumption-Based Framework for Non-Monotonic Reasoning. LPNMR Andrei Bondarenko, Francesca Toni, Robert A. Kowalski
1993	J	`jnl`	Editorial: An Undergraduate Degree in Practical Reasoning. J. Log. Comput. Robert A. Kowalski
1993	J	`jnl`	The Fifth Generation Project: Personal Perspectives. Commun. ACM Ehud Shapiro, David H. D. Warren, Kazuhiro Fuchi, Robert A. Kowalski, Koichi Furukawa, Kazunori Ueda, Kenneth M. Kahn, Takashi Chikayama, Evan Tick
1992	J	`jnl`	Abductive Logic Programming. J. Log. Comput. Antonis C. Kakas, Robert A. Kowalski, Francesca Toni
1992	J	`jnl`	Database Updates in the Event Calculus. J. Log. Program. Robert A. Kowalski
1992	—	`conf`	Legislation as Logic Programs. Logic Programming Summer School Robert A. Kowalski
1992	—	`conf`	Panel: A Springboard for Information Processing in the 21st Century. FGCS Robert A. Kowalski
1992	—	`conf`	Theory and Practice in Logic Programming. Logic Programming Summer School Robert A. Kowalski
1991	B	`conf`	Legislation as Logic Programs. ICLP Robert A. Kowalski
1991	A*	`conf`	Logic Programing in Artificial Intelligence. IJCAI Robert A. Kowalski
1991	J	`jnl`	Logic Programs with Exceptions. New Gener. Comput. Robert A. Kowalski, Fariba Sadri
1990	B	`conf`	Logic Programs with Exceptions. ICLP Robert A. Kowalski, Fariba Sadri
1989	—	`conf`	A Proposal for an Undergraduate Degree in the Uses of Logic. Artificial Intelligence in Higher Education Robert A. Kowalski
1989	B	`conf`	Abduction Compared with Negation by Failure. ICLP Kave Eshghi, Robert A. Kowalski
1989	—	`conf`	Central Government Pension Rules as a Logic Program. KBCS K. K. Bajaj, R. K. Dubash, Robert A. Kowalski
1989	C	`conf`	The Treatment of Negation in Logic Programs for Representing Legislation. ICAIL Robert A. Kowalski
1988	—	`ch.`	A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. Fariba Sadri, Robert A. Kowalski
1988	—	`conf`	Knowledge Management - Panel Report. Expert Database Conf. Robert A. Kowalski, Douglas B. Lenat, Elliot Soloway, Michael Stonebraker, Adrian Walker
1988	—	`ed.`	Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes) ICLP/SPL Robert A. Kowalski, Kenneth A. Bowen
1988	J	`jnl`	The Early Years of Logic Programming. Commun. ACM Robert A. Kowalski
1987	—	`conf`	Directions for Logic Programming. Wissensbasierte Systeme Robert A. Kowalski
1987	A*	`conf`	Integrity Checking in Deductive Databases. VLDB Robert A. Kowalski, Fariba Sadri, Paul Soper
1987	—	`ed.`	TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87) TAPSOFT, Vol.1 Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
1987	—	`ed.`	TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) TAPSOFT, Vol.2 Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
1986	J	`jnl`	A Logic-based Calculus of Events. New Gener. Comput. Robert A. Kowalski, Marek J. Sergot
1986	J	`jnl`	The British Nationality Act as a Logic Program. Commun. ACM Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory
1986	—	`conf`	The limitation of logic. ACM Conference on Computer Science Robert A. Kowalski
1985	—	`conf`	A Logic-Based Calculus of Events. Foundations of Knowledge Base Management (Xania) Robert A. Kowalski, Marek J. Sergot
1985	A*	`conf`	Computer Representation of the Law. IJCAI Robert A. Kowalski, Marek J. Sergot
1985	—	`conf`	Directions for Logic Programming. SLP Robert A. Kowalski
1985	—	`conf`	The Limitaions of Logic and Its Role in Artificial Intelligence. Foundations of Knowledge Base Management (Xania) Robert A. Kowalski
1984	J	`jnl`	Logic Programming in the Fifth Generation. Knowl. Eng. Rev. Robert A. Kowalski
1984	—	`conf`	Logic as a Database Language. BNCOD Robert A. Kowalski
1984	—	`conf`	Logic for Knowledge Representation. FSTTCS Robert A. Kowalski
1984	J	`jnl`	Software engineering and artificial intelligence in new generation computing. Future Gener. Comput. Syst. Robert A. Kowalski
1983	—	`conf`	Logic Programming. IFIP Congress Robert A. Kowalski
1983	A*	`conf`	Panel on the Fifth Generation Project. IJCAI Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar
1982	A	`conf`	Logic as a Computer Language for Children. ECAI Robert A. Kowalski
1980	A	`ed.`	5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings CADE Wolfgang Bibel, Robert A. Kowalski
1979	J	`jnl`	Algorithm = Logic + Control. Commun. ACM Robert A. Kowalski
1979	J	`jnl`	Logic and Semantic Networks. Commun. ACM Amaryllis Deliyanni, Robert A. Kowalski
1979	—	`book`	Logic for problem solving. Robert A. Kowalski
1977	—	`conf`	Logic for Data Description. Logic and Data Bases Robert A. Kowalski
1976	J	`jnl`	The Semantics of Predicate Logic as a Programming Language. J. ACM Maarten H. van Emden, Robert A. Kowalski
1975	J	`jnl`	A Proof Procedure Using Connection Graphs. J. ACM Robert A. Kowalski
1974	—	`conf`	Predicate Logic as Programming Language. IFIP Congress Robert A. Kowalski
1971	J	`jnl`	Linear Resolution with Selection Function. Artif. Intell. Robert A. Kowalski, Donald Kuehner