Author of the publication

Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects.

. CONTEXT, volume 1688 of Lecture Notes in Computer Science, page 351-360. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Propagating Epistemic Coordination Through Mutual Defaults I.. TARK, page 29-39. Morgan Kaufmann, (1990)Teaching Knowledge Representation: Challenges and Proposals., and . KR, page 725-733. Morgan Kaufmann, (2000)Representing and Reasoning with Context.. AISC, volume 1476 of Lecture Notes in Computer Science, page 29-41. Springer, (1998)A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks, , and . Artificial Intelligence, 42 (2-3): 311--348 (1990)A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks., , and . AAAI, page 358-363. Morgan Kaufmann, (1987)Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision., and . TARK, page 229-250. Morgan Kaufmann, (1996)Logic and Linguistics Meeting, Stanford, 1987., and . J. Symb. Log., 53 (4): 1275-1282 (1988)All or None: A Novel Choice of Primitives for Elementary Logic., and . J. Symb. Log., 32 (3): 345-351 (1967)Paradoxes and Semantic Representation.. TARK, page 225-239. Morgan Kaufmann, (1986)Making Contextual Intensional Logic Nonmonotonic.. CONTEXT, volume 3554 of Lecture Notes in Computer Science, page 501-514. Springer, (2005)