Schlagwort(e):
Logic design
;
Logic, Symbolic and mathematical
;
Computer science
;
Database management
;
Artificial intelligence
;
Machine theory.
;
Computer systems.
;
Mathematical Logic and Formal Languages
;
Computer Science
;
Mathematical Logic and Foundations
;
Logics and Meanings of Programs
;
Artificial Intelligence (incl. Robotics)
;
Database Management
;
Konferenzschrift
;
Aufsatzsammlung
;
Temporale Logik
Beschreibung / Inhaltsverzeichnis:
Combining temporal specification techniques -- Global equivalence proofs for ISTL -- A real time process logic -- Sometimes “Tomorrow” is “Sometime” -- Applications of transaction logic to knowledge representation -- Circumscribing features and fluents -- Dealing with time granularity in a temporal planning system -- Axiomatizing U and S over integer time -- Temporal logic with reference pointers -- Completeness through flatness in two-dimensional temporal logic -- Efficient computation of nested fix-points, with applications to model checking -- How linear can branching-time be? -- First-order future interval logic -- Buy one, get one free !!! -- Back and forth through time and events -- Interpreting tense, aspect and time adverbials: A compositional, unified approach -- Synchronized histories in prior-thomason representation of branching time -- On the completeness of temporal database query languages -- The Abductive Event Calculus as a general framework for temporal databases -- A decision procedure for a temporal belief logic -- Decidability of deliberative stit theories with multiple agents -- Abduction in temporal reasoning -- A temporal logic approach to implementation and refinement in timed Petri nets -- A stuttering closed temporal logic for modular reasoning about concurrent programs -- A hierarchy of partial order temporal properties -- A graph-based approach to resolution in temporal logic -- Annotation-based deduction in temporal logic -- An overview of temporal and modal logic programming -- A survey of concurrent MetateM — The language and its applications -- Temporal query languages: A survey -- Improving temporal logic tableaux using integer constraints -- A system for automated deduction in graphical interval logic -- SCDBR: A reasoner for specifications in the situation calculus of database updates.
Materialart:
Online-Ressource
Seiten:
Online-Ressource (XI, 545 S.)
Ausgabe:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540485858
Serie:
Lecture notes in computer science 827
URL:
http://www.springerlink.com/content/r3774716j653
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-58241-0
URL:
http://dx.doi.org/10.1007/BFb0013976
URL:
https://doi.org/10.1007/BFb0013976
URL:
https://zbmath.org/?q=an:0875.03007
Sprache:
Englisch
Anmerkung:
Literaturangaben
Permalink
