A functional approach for temporal x modal logicsBURRIEZA, Alfredo; DE GUZMAN, Inma P.Acta informatica. 2003, Vol 39, Num 2, pp 71-96, issn 0001-5903, 26 p.Article

A temporal × modal approach to the definability of properties of functionsBURRIEZA, Alfredo; DE GUZMAN, Inma P.Lecture notes in computer science. 2002, pp 239-254, issn 0302-9743, isbn 3-540-43381-3Conference Paper

An algorithmic approach to recover inconsistent knowledge-basesARIELI, Ofer.Lecture notes in computer science. 2000, pp 148-162, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Representing the process semantics in the event calculusCHUNPING LI.Lecture notes in computer science. 2000, pp 118-132, issn 0302-9743, isbn 3-540-41131-3Conference Paper

On dialogue systems with speech acts, arguments, and counterargumentsPRAKKEN, Henry.Lecture notes in computer science. 2000, pp 224-238, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Logics in artificial intelligence (Málaga, 29 September - 2 October 2000)Ojeda-Aciego, Manuel; de Guzmán, Inma P; Brewka, Gerhard et al.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-41131-3, XI, 406 p, isbn 3-540-41131-3Conference Proceedings

Capturing stationary and regular extensions with Reiter's extensionsJANHUNEN, Tomi.Lecture notes in computer science. 2000, pp 102-117, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Topo-distance : Measuring the difference between spatial patternsAIELLO, Marco.Lecture notes in computer science. 2000, pp 73-86, issn 0302-9743, isbn 3-540-41131-3Conference Paper

A framework for belief updateLIBERATORE, Paolo.Lecture notes in computer science. 2000, pp 361-375, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Acceptance without minimalityNAYAK, Abhaya C.Lecture notes in computer science. 2000, pp 163-178, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Declarative formalization of strategies for action selection : Applications to planningSIERRA-SANTIBANEZ, Josefina.Lecture notes in computer science. 2000, pp 133-147, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Hybrid probabilistic Logic Programs as residuated Logic ProgramsVIEGAS DAMASIO, Carlos; MONIZ PEREIRA, Luis.Lecture notes in computer science. 2000, pp 57-72, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Multi-agent VSK logicWOOLDRIDGE, Michael; LOMUSCIO, Alessio.Lecture notes in computer science. 2000, pp 300-312, issn 0302-9743, isbn 3-540-41131-3Conference Paper

A Logic for modeling decision making with dynamic preferencesDE VOS, Marina; VERMEIR, Dirk.Lecture notes in computer science. 2000, pp 391-406, issn 0302-9743, isbn 3-540-41131-3Conference Paper

An abductive mechanism for Natural Language Processing based on Lambek calculusFRIAS DELGADO, Antonio; JIMENEZ MILLAN, Jose Antonio.Lecture notes in computer science. 2000, pp 87-101, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Credulous and sceptical argument games for preferred semanticsVREESWIJK, Gerard A. W; PRAKKEN, Henry.Lecture notes in computer science. 2000, pp 239-253, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Considerations on updates of logic programsEITER, Thomas; FINK, Michael; SABBATINI, Giuliana et al.Lecture notes in computer science. 2000, pp 2-20, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Semi-qualitative reasoning about distances : A preliminary reportSTURM, Holger; SUZUKI, Nobu-Yuki; WOLTER, Frank et al.Lecture notes in computer science. 2000, pp 37-56, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Updates plus preferencesALFERES, José Julio; MONIZ PEREIRA, Luis.Lecture notes in computer science. 2000, pp 345-360, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Reduction theorems for boolean formulas using Δ-treesGUTIERREZ, Gloria; DE GUZMAN, Inma P; MARTINEZ, Javier et al.Lecture notes in computer science. 2000, pp 179-192, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Avoiding logical omniscience by using subjective situationsMORENO, Antonio; CORTES, Ulises; SALES, Ton et al.Lecture notes in computer science. 2000, pp 284-299, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Monodic epistemic predicate logicSTURM, Holger; WOLTER, Frank; ZAKHARYASCHEV, Michael et al.Lecture notes in computer science. 2000, pp 329-344, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Partially adaptive code treesRIAZANOV, Alexandre; VORONKOV, Andrei.Lecture notes in computer science. 2000, pp 209-223, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Simultaneous rigid sorted unificationMARTIN, Pedro J; GAVILANES, Antonio.Lecture notes in computer science. 2000, pp 193-208, issn 0302-9743, isbn 3-540-41131-3Conference Paper

A compilation of Brewka and Eiter's approach to prioritizationDELGRANDE, James P; SCHAUB, Torsten; TOMPITS, Hans et al.Lecture notes in computer science. 2000, pp 376-390, issn 0302-9743, isbn 3-540-41131-3Conference Paper