MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "State Event Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

State Event Logic
by Gerd Große, Hesham Khalil, Technische Hochschule — 1996 — Proceedings of the European Workshop on Logics in AI (Jelia '94
…State Event Logic GERD GROE, Intellektik, Informatik, Technische Hochschule Darmstadt…
Add To MetaCart

Propositional State-Event Logic
by Gerd Große, Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1994
…Propositional State-Event Logic Gerd Gro��e ' & $ % ' & $ % (Appeared in JELIA '94, Springer…
Cited by 1 (0 self) – Add To MetaCart

Super-Criticality Revisited
by Paul F. Reynolds, Paul F. Reynolds, Jr., Sudhir Srinivasan, Sudhir Srinivasan, Sudhir Srinivasan — 1995 — Proceedings of PADS’95
… independence of one or more messages (or states) on events in the logical past of those messages (states). We…
Cited by 11 (2 self) – Add To MetaCart

SEdit - Graphically Validating Technical Systems
by Gerd Große, Christoph S. Herrmann, Enno Sandner, Enno S
… environment for specifying technical systems. The name, SEdit, is an abbreviation for "State Event Logic…
Add To MetaCart

Representing Concurrent Actions and Solving Conflicts
by Sven-erik Bornscheuer, Michael Thielscher — 1996 — Proceedings of the German Annual Conference on Artificial Intelligence (KI), volume 861 of LNAI
… (used in AC , A + C , and in the State Event Logic [8]). 2 Of course, this prolem might even occur…
Cited by 18 (9 self) – Add To MetaCart

Towards a Cooperating Robots Demonstrator
by J. Pfalzgraf, U. C. Sigmund, V. Sofronie, K. Stokkermans — 1995
… of SEdit is a (prototypical) implementation of State Event Logic (SEL) -- an extension of Modal Logic…
Cited by 2 (0 self) – Add To MetaCart

Rapid Prototyping with MuSE
by Matthias Deegener, Gerd Große, Werner John, Bettina Kühnapfel, Michael Löhr, Hanno Wirth, D Darmstadt — 1994
… is written in State Event Logic [Gro94]. For the transformation of the declarative logical specification…
Cited by 1 (0 self) – Add To MetaCart

Journal of the IGPL
by Volume Number February, Special Issue Of The, Dov M. Gabbay, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan Van Benthem
… Modal Logics for Qualitative Spatial Reasoning B. Bennett 47 State Event Logic G. Groe 75 Formal…
Add To MetaCart

Autonomous Attitude Determination and Control System for the Ørsted Satellite
by Thomas Bak, Rafal Wisniewski, Mogens Blanke — 1996 — In proc.: IEEE Aerospace Applications Conference
… model [3]: ffl ACS supervisor with state event logics to describe operational mode. ffl Fault…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB