A Resolution Calculus for Dynamic Semantics

13 years 8 months ago

Download www.umiacs.umd.edu

Appeared in: Dix, J., del Cerro, F. L., and Furbach, U., editors, Logics in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence 1489, Springer, pages 184

Christof Monz, Maarten de Rijke

Real-time Traffic

Artificial Intelligence | JELIA 1998 | Natural Language | Pronoun Bindings |

claim paper

Related Content

» Extensional HigherOrder Resolution

» A ResolutionBased Decision Procedure for SHOIQ

» Semantic Web Fred Automated Goal Resolution on the Semantic Web

» A Calculus of Untyped AspectOriented Programs

» Functional translation of a calculus of capabilities

» Translating HPSGStyle Outputs of a Robust Parser into Typed Dynamic Logic

» Weak Equivalence in Propositional Calculus

» A thread calculus with molecular dynamics

» SemanticFree Referencing in Linked Distributed Systems

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1998
Where	JELIA
Authors	Christof Monz, Maarten de Rijke

Comments (0)

Sciweavers

A Resolution Calculus for Dynamic Semantics

Artificial Intelligence | JELIA 1998 | Natural Language | Pronoun Bindings |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers