Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

74

SLOGICA
2008

76views more SLOGICA 2008»

Infinitary Action Logic: Complexity, Models and Grammars

15 years 3 months ago

Infinitary Action Logic: Complexity, Models and Grammars

Download www.staff.amu.edu.pl

Wojciech Buszkowski, Ewa Palka

Real-time Traffic

SLOGICA 2008 |

claim paper

Related Content

» Notes on quasiminimality and excellence

» Randomisation and Derandomisation in Descriptive Complexity Theory

» Encoding HTN Planning in Propositional Logic

» Learning complex action models with quantifiers and logical implications

» WellFounded Semantics for Boolean Grammars

» Complex Activity Representation and Recognition by Extended Stochastic Grammar

» Model checking memoryful lineartime logics over onecounter automata

» Model Checking Freeze LTL over OneCounter Automata

» Imperatives Commitment and Action Towards a Constraintbased Model

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	SLOGICA
Authors	Wojciech Buszkowski, Ewa Palka

Comments (0)