| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Natasha Alechina 13 Natasha Alechina, Brian Logan : Ascribing beliefs to resource bounded agents. AAMAS 2002 : 881-888 12 Natasha Alechina, Michael Mendler , Valeria de Paiva , Eike Ritter : Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001 : 292-307 11 Natasha Alechina, Stéphane Demri , Maarten de Rijke : Path Constraints from a Modal Logic Point of View. KRDB 2001 10 Natasha Alechina, Brian Logan : Logical Omniscience and the Cost of Deliberation. LPAR 2001 : 100-109 9 Natasha Alechina, Brian Logan : State Space Search with Prioritised Soft Constraints. Applied Intelligence 14 (3): 263-272 (2001) 8 Natasha Alechina: (Modal) Logics for Semistructed Data. Description Logics 1999 7 Brian Logan , Natasha Alechina: A* with Bounded Costs. AAAI/IAAI 1998 : 444-449 6 Natasha Alechina, Maarten de Rijke : Describing and Quering Semistructured Data: Some Expressiveness Results. BNCOD 1998 : 167-168 5 Natasha Alechina, Yuri Gurevich : Syntax vs. Semantics on Finite Structures. Structures in Logic and Computer Science 1997 : 14-33 4 Natasha Alechina: Interpolation for a Sequent Calculus of Generalized Quantifiers. TABLEAUX 1996 : 36-47 3 Natasha Alechina, Michiel van Lambalgen : Generalized Quantification as Substructural Logic. The Journal of Symbolic Logic 61 (3): 1006-1044 (1996) 2 Natasha Alechina: For All Typical. ECSQARU 1995 : 1-8 1 Natasha Alechina: On a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic. Journal of Logic, Language and Information 4 (3): 177-189 (1995)  DiSC'02 © 2003 Association for Computing Machinery |
