ti.\*:("Logics in artificial intelligence (Málaga, 29 September - 2 October 2000)")
Results 1 to 25 of 27
Selection :
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
A modal logic for network topologiesVAN EIJK, Rogier M; DE BOER, Frank S; VAN DER HOEK, Wiebe et al.Lecture notes in computer science. 2000, pp 269-283, 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
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
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
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
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
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
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
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
A framework for belief updateLIBERATORE, Paolo.Lecture notes in computer science. 2000, pp 361-375, issn 0302-9743, isbn 3-540-41131-3Conference Paper
A general approach to multi-agent minimal knowledgeVAN DER HOEK, Wiebe; JASPARS, Jan; THIJSSE, Elias et al.Lecture notes in computer science. 2000, pp 254-268, 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
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
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 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
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
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
The K?Y approach : Integrating object oriented design and formal verificationAHRENDT, Wolfgang; BAAR, Thomas; BECKERT, Bernhard et al.Lecture notes in computer science. 2000, pp 21-36, issn 0302-9743, isbn 3-540-41131-3Conference Paper