<--- Back to Details
First PageDocument Content
Artificial intelligence / Knowledge representation / Applied mathematics / Event calculus / Situation calculus / Multi-agent systems / Fluent / Communications protocol / Agent-based model / Theoretical computer science / Logic programming / Logic in computer science
Date: 2002-07-10 12:51:19
Artificial intelligence
Knowledge representation
Applied mathematics
Event calculus
Situation calculus
Multi-agent systems
Fluent
Communications protocol
Agent-based model
Theoretical computer science
Logic programming
Logic in computer science

Add to Reading List

Source URL: www.csc.ncsu.edu

Download Document from Source Website

File Size: 281,38 KB

Share Document on Facebook

Similar Documents

Robot Location Estimation in the Situation Calculus Vaishak Belle and Hector J. Levesque Dept. of Computer Science University of Toronto ICAPS Workshop on Planning and Robotics, June 2013

DocID: 1uXeI - View Document

Artificial intelligence / Logic programming / Academia / Decision theory / Game theory / Non-cooperative games / Situation calculus / Nash equilibrium / Zero-sum game / Markov decision process / Strategy / Mathematical optimization

I N F S Y S R E S E A R C H R

DocID: 1riTl - View Document

Theoretical computer science / Mathematical logic / Mathematics / Logic in computer science / Boolean algebra / Logic programming / Automated planning and scheduling / Formal methods / Situation calculus / Planning Domain Definition Language / Boolean satisfiability problem / Conjunctive normal form

Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc

DocID: 1qzAi - View Document

Mathematical analysis / Mathematical logic / Logic / Dynamic programming / Markov decision process / Stochastic control / Constructible universe / Situation calculus / First-order logic / Distribution

Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2

DocID: 1q99R - View Document

Logic programming / Filter theory / Logic in computer science / Knowledge representation / Formal languages / Situation calculus / Fluent / Well-formed formula / FO / Filter / Frame problem / Linear temporal logic

Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu

DocID: 1p49M - View Document