Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
1
views
16
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,236
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Agent-Based Defeasible Control in Dynamic Environments
Reasoning about Action and Change Using Dijkstra’s Semantics for Programming Languages
other
Author(s):
Witold Łukaszewicz
,
Ewa Madalińska-Bugaj
Publication date
(Print):
2002
Publisher:
Springer Netherlands
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Smart Contracts Programming Languages
Most cited references
16
Record
: found
Abstract
: not found
Article
: not found
Strips: A new approach to the application of theorem proving to problem solving
Richard Fikes
,
Nils Nilsson
(1971)
0
comments
Cited
254
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Nonmonotonic logic and temporal projection
Steve Hanks
,
Drew McDermott
(1987)
0
comments
Cited
25
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Nonmonotonic reasoning in the framework of situation calculus
Andrew Baker
(1991)
0
comments
Cited
7
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2002
Pages
: 383-398
DOI:
10.1007/978-94-017-1741-0_14
SO-VID:
0a3b089d-9177-4147-97eb-bf161b7bb52d
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Introduction
pp. 9
Basic Concepts
pp. 19
Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control
pp. 65
Control Techniques for Complex Reasoning: The Case of Milord II
pp. 99
Coordinating Heterogeneous Components Using Executable Temporal Logic
pp. 113
Compositional Design and Reuse of a Generic Agent Model
pp. 167
Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems
pp. 197
Descriptive Dynamic Logic and Its Application to Reflective Architectures
pp. 221
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
pp. 253
Formalising Abilities and Opportunities of Agents
pp. 309
Seeing is Believing and So are Hearing and Jumping
pp. 341
Motivational Attitudes in the Karo Framework
pp. 357
Modelling Social Agents: Towards Deliberate Communication
pp. 383
Reasoning about Action and Change Using Dijkstra’s Semantics for Programming Languages
pp. 399
Reasoning about Action and Change: Actions with Abnormal Effects
pp. 411
Preferential Action Semantics
pp. 427
Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments
pp. 455
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
Similar content
3,236
Lateral Navigation Optimization Considering Winds and Temperatures for Fixed Altitude Cruise Using the Dijkstra’s Algorithm
Authors:
A. Murrieta-Mendoza
,
R. Botez
Dijkstra’s Algorithm. Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica
Authors:
S. SKIENA
,
S. Skiena
Joint design of Dijkstra’s shortest path routing and sleep-wake scheduling in wireless sensor networks
Authors:
S Thomas
,
I.K. Gayathri
,
A RAJ
See all similar