-
A probabilistic temporal logic that can model reasoning about evidence
Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, and Miodrag Raskovic
-
An algorithm for generating Nash stable coalition structures in Hedonic games
Helena Keinänen
-
Conjunctive queries with constraints: homomorphism, containment and rewriting
Ali Kiani and Nematollaah Shiri
-
Enhancing Dung's preferred semantics
Zhihu Zhang
-
On the distance of databases
Gyula O. H. Katona, Attila Sali, and Anita Keszler
-
On the existence of Armstrong data trees for XML functional dependencies
Sven Hartmann, Henning Koehler, and Thu Trinh
-
Polymorphism in Datalog and inheritance in a metamodel
Paolo Atzeni, Giorgio Gianforme, and Daniele Toti
-
Possibilistic semantics for logic programs with ordered disjunction
Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, and Javier Vázquez-Salceda
-
Semantic Web search based on ontological conjunctive queries
Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, and Thomas Lukasiewicz
-
Semantically characterizing collaborative behavior in an abstract dialogue framework
Julieta Marcos, Marcelo Alejandro Falappa, and Guillermo R. Simari
-
The relationship of the logic of big-stepped probabilities to standard probabilistic logics
Christoph Beierle and Gabriele Kern-Isberner
-
Theoretical foundations for enabling a Web of knowledge
David W Embley and Andrew J Zitzelberger
-
Towards controlled query evaluation for incomplete first-order databases
Joachim Biskup, Cornelia Tadros, and Lena Wiese
-
Bagging credal decision trees on datasets with classification noise
Joaquin Abellan and Andres R. Masegosa
-
Evolving schemas for streaming XML
Maryam Shoaran and Alex Thomo
-
Onto-Evoal an ontology evolution approach guided by pattern modelling and quality evaluation
Rim Djedidi and Marie-Aude Aufaure
-
Towards a paradoxical description logic for the Semantic Web
Xiaowang Zhang and Zuoquan Lin
-
Towards a unified model of preference-based argumentation
Jean-Rémi Bourguet, Leila Amgoud, and Rallou Thomopoulos
-
Two complementary classification methods for designing concept lattices from interval data
Mehdi Kaytoue, Zainab Assaghir, Nizar Messai, and Amedeo Napoli