Robert A. Kowalski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 83 from 83

2023

Combining Logic Programming and Imperative Programming in LPSRobert A. Kowalski, Fariba Sadri, Miguel Calejo, Jacinto A. Dávila. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 210-223, Springer, 2023. [doi]

Logical English for Law and EducationRobert A. Kowalski, Jacinto A. Dávila, Galileo Sartor, Miguel Calejo. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 287-299, Springer, 2023. [doi]

2019

Using SWISH to Realize Interactive Web-based Tutorials for Logic-based LanguagesJan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo. tplp, 19(2):229-261, 2019. [doi]

2017

How to do it with LPS (Logic-Based Production System)Robert A. Kowalski, Fariba Sadri, Miguel Calejo. ruleml 2017: [doi]

2016

Programming in logic without logic programmingRobert A. Kowalski, Fariba Sadri. tplp, 16(3):269-295, 2016. [doi]

2015

Reactive Computing as Model GenerationRobert A. Kowalski, Fariba Sadri. ngc, 33(1):33-67, 2015. [doi]

2014

A Logical Characterization of a Reactive System LanguageRobert A. Kowalski, Fariba Sadri. ruleml 2014: 22-36 [doi]

2012

2011

Artificial Intelligence and Human ThinkingRobert A. Kowalski. IJCAI 2011: 11-16 [doi]

Abductive logic programming agents with destructive databasesRobert A. Kowalski, Fariba Sadri. AMAI, 62(1-2):129-158, 2011. [doi]

2010

An Agent Language with Destructive Assignment and Model-Theoretic SemanticsRobert A. Kowalski, Fariba Sadri. clima 2010: 200-218 [doi]

2009

Assumption-Based ArgumentationPhan Minh Dung, Robert A. Kowalski, Francesca Toni. In Guillermo Ricardo Simari, Iyad Rahwan, editors, Argumentation in Artificial Intelligence. pages 199-218, Springer, 2009. [doi]

Integrating Logic Programming and Production Systems in Abductive Logic Programming AgentsRobert A. Kowalski, Fariba Sadri. rr 2009: 1-23 [doi]

2006

Dialectic proof procedures for assumption-based, admissible argumentationPhan Minh Dung, Robert A. Kowalski, Francesca Toni. ai, 170(2):114-159, 2006. [doi]

2005

The Logical Way to Be Artificially IntelligentRobert A. Kowalski. clima 2006: 1-22 [doi]

Reconciling Logic and ObjectsRobert A. Kowalski. enc 2005: [doi]

A Logic-based Calculus of EventsRobert A. Kowalski, Marek J. Sergot. In Inderjeet Mani, James Pustejovsky, Robert J. Gaizauskas, editors, The Language of Time - A Reader. pages 217-240, Oxford University Press, 2005.

2002

Directions for Logic ProgrammingRobert A. Kowalski. BIRTHDAY 2002: 26-32 [doi]

2001

Is Logic Really Dead or Only Just Sleeping?Robert A. Kowalski. ICLP 2001: 2-3 [doi]

1999

From Logic Programming Towards Multi-Agent SystemsRobert A. Kowalski, Fariba Sadri. AMAI, 25(3-4):391-419, 1999.

1998

Executing Suspended Logic ProgramsRobert A. Kowalski, Francesca Toni, Gerhard Wetzel. FUIN, 34(3):203-224, 1998.

1997

1996

1995

1994

The Situation Calculus and Event Calculus ComparedRobert A. Kowalski, Fariba Sadri. SLP 1994: 539-553

Towards a Declarative and Efficient Glass-Box CLP LanguageRobert A. Kowalski, Francesca Toni, Gerhard Wetzel. wlp 1994: 138-141

Temporal Database Technology for Air Traffic Flow ManagementSuryanarayana M. Sripada, B. L. Rosser, J. M. Bedford, Robert A. Kowalski. adb 1994: 28-41

1993

An Assumption-Based Framework for Non-Monotonic ReasoningAndrei Bondarenko, Francesca Toni, Robert A. Kowalski. lpnmr 1993: 171-189

Editorial: An Undergraduate Degree in Practical ReasoningRobert A. Kowalski. logcom, 3(3):227-229, 1993.

The Fifth Generation Project: Personal PerspectivesEhud Y. Shapiro, David H. D. Warren, Kazuhiro Fuchi, Robert A. Kowalski, Koichi Furukawa, Kazunori Ueda, Kenneth M. Kahn, Takashi Chikayama, Evan Tick. CACM, 36(3):46-103, 1993.

1992

Abductive Logic ProgrammingAntonis C. Kakas, Robert A. Kowalski, Francesca Toni. logcom, 2(6):719-770, 1992.

Legislation as Logic ProgramsRobert A. Kowalski. lpss 1992: 203-230

Theory and Practice in Logic ProgrammingRobert A. Kowalski. lpss 1992: 1-2

Panel: A Springboard for Information Processing in the 21st CenturyRobert A. Kowalski. fgcs 1992: 219

Database Updates in the Event CalculusRobert A. Kowalski. jlp, 12(1&2):121-146, 1992.

1991

Logic Programs with ExceptionsRobert A. Kowalski, Fariba Sadri. ngc, 9(3/4):387-400, 1991.

Legislation as Logic ProgramsRobert A. Kowalski. ICLP 1991: 910

Logic Programing in Artificial IntelligenceRobert A. Kowalski. ijcai 1991: 596-604

1990

Logic Programs with ExceptionsRobert A. Kowalski, Fariba Sadri. ICLP 1990: 598-613

1989

Central Government Pension Rules as a Logic ProgramK. K. Bajaj, R. K. Dubash, Robert A. Kowalski. kbcs 1990: 19-28

Abduction Compared with Negation by FailureKave Eshghi, Robert A. Kowalski. ICLP 1989: 234-254

A Proposal for an Undergraduate Degree in the Uses of LogicRobert A. Kowalski. cepes 1990: 94-97

The Treatment of Negation in Logic Programs for Representing LegislationRobert A. Kowalski. icail 1989: 11-15 [doi]

1988

The Early Years of Logic ProgrammingRobert A. Kowalski. CACM, 31(1):38-43, 1988.

Knowledge Management - Panel ReportRobert A. Kowalski, Douglas B. Lenat, Elliot Soloway, Michael Stonebraker, Adrian Walker. treds 1988: 63-69

A Theorem-Proving Approach to Database IntegrityFariba Sadri, Robert A. Kowalski. In Foundations of Deductive Databases and Logic Programming.. pages 313-362, 1988.

1987

Integrity Checking in Deductive DatabasesRobert A. Kowalski, Fariba Sadri, Paul Soper. VLDB 1987: 61-69 [doi]

Directions for Logic ProgrammingRobert A. Kowalski. wi 1987: 128-146

1986

The limitation of logicRobert A. Kowalski. acm 1986: 7-13 [doi]

A Logic-based Calculus of EventsRobert A. Kowalski, Marek J. Sergot. ngc, 4(1):67-95, 1986.

The British Nationality Act as a Logic ProgramMarek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory. CACM, 29(5):370-386, 1986.

1985

The Limitaions of Logic and Its Role in Artificial IntelligenceRobert A. Kowalski. db-workshops 1985: 477-493

A Logic-Based Calculus of EventsRobert A. Kowalski, Marek J. Sergot. db-workshops 1985: 23-55

Computer Representation of the LawRobert A. Kowalski, Marek J. Sergot. IJCAI 1985: 1269-1270

Directions for Logic ProgrammingRobert A. Kowalski. SLP 1985: 2-7

1984

Logic for Knowledge RepresentationRobert A. Kowalski. fsttcs 1984: 1-12

Logic as a Database LanguageRobert A. Kowalski. bncod 1984: 103-132

1983

Panel on the Fifth Generation ProjectRobert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar. IJCAI 1983: 1192-1194

Logic ProgrammingRobert A. Kowalski. ifip 1983: 133-145

1982

Logic as a Computer Language for ChildrenRobert A. Kowalski. ecai 1982: 2-10

1979

Logic and Semantic NetworksAmaryllis Deliyanni, Robert A. Kowalski. CACM, 22(3):184-192, 1979.

Algorithm = Logic + ControlRobert A. Kowalski. CACM, 22(7):424-436, 1979.

Logic for problem solvingRobert A. Kowalski. Volume 7 of The computer science library : Artificial intelligence series, North-Holland, 1979. [doi]

1977

Logic for Data DescriptionRobert A. Kowalski. adbt 1977: 77-103

1976

The Semantics of Predicate Logic as a Programming LanguageMaarten H. van Emden, Robert A. Kowalski. JACM, 23(4):733-742, 1976. [doi]

1975

A Proof Procedure Using Connection GraphsRobert A. Kowalski. JACM, 22(4):572-595, 1975. [doi]

1974

Predicate Logic as Programming LanguageRobert A. Kowalski. ifip 1974: 569-574

1971

Linear Resolution with Selection FunctionRobert A. Kowalski, Donald Kuehner. ai, 2(3/4):227-260, 1971.

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Robert A. Kowalski'

Viewing Publication 1 - 83 from 83

2023

2019

2017

2016

2015

2014

2012

2011

2010

2009

2006

2005

2002

2001

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1989

1988

1987

1986

1985

1984

1983

1982

1979

1977

1976

1975

1974

1971

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1