Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are described, usually in a procedural manner. In this paper we present a declarative framework based on temporal (partial) logic that enables one to describe the dynamics of reasoning behaviour by temporal models. Using these models the semantics of the behaviour of the whole (meta-level) reasoning system can be described by a set of (intended) temporal models.
Original languageEnglish
Title of host publicationLogic Program Synthesis and Transformation – Meta-Programming in Logic - 4th International Workshops LOPSTR 1994 and META 1994, Proceedings
PublisherSpringer/Verlag
Pages353-376
Number of pages24
Volume883 LNCS
ISBN (Print)9783540587927
DOIs
Publication statusPublished - 1994
Event4th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1994 and Metaprogramming in Logic, META 1994 - Pisa, Italy
Duration: 20 Jun 199421 Jun 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume883 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Workshop

Workshop4th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1994 and Metaprogramming in Logic, META 1994
CountryItaly
CityPisa
Period20/06/9421/06/94

Fingerprint

Dive into the research topics of 'Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning'. Together they form a unique fingerprint.

Cite this