1
Published 2012
Table of Contents: ... Event Calculus for Monitoring Global Computing Applications -- Reasoning about the Intentions of Agents...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Approach to Regular Sets -- Models, Deduction, and Computation -- Elementary Algebraic Specifications...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...: Ontology and Mereology of Domains -- Computer Science and State Machines -- A Small Step for Mankind...
View full text
Electronic eBook
4
Published 2011
Table of Contents: ... Perspective -- Towards a System Model for Ensembles -- Algorithmic Aspects of Risk Management -- Parameterized...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Rewriting Logic Computations (in a Parametric and Stepwise Way) -- The Semantics of Datalog...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... -- Comparing Semantics of Logics for Multi-Agent Systems -- A Characterization of Von Neumann Games in Terms...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... to Interaction Charts -- Algebraic Properties of Interfaces -- ? T -Integration of Logics -- Functorial Semantics...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Interaction to Human Artifact Interaction -- From Human-Computer Interaction to Human-Artefact Interaction...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... -- Natural Language Processing -- Automatic Generalization of a QA Answer Extraction Module Based on Semantic...
View full text
Electronic eBook