default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 87
Volume 87, Numbers 1-2, October 2019
- Flavio Ferrarotti
, Stefan Woltran:
Preface. 1-4 - Christoph Beierle, Steven Kutsch, Kai Sauerwald:
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. 5-41 - Joachim Biskup, Marcel Preuß:
Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations. 43-82 - Katarina Britz, Ivan Varzinczak:
Contextual rational closure for defeasible ALC. 83-108 - Jelle Hellings, Marc Gyssens, Dirk Van Gucht, Yuqing Wu:
First-order definable counting-only queries. 109-136 - Xudong Liu, Miroslaw Truszczynski:
Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains. 137-155 - Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht:
A framework for comparing query languages in their ability to express boolean queries. 157-184
Volume 87, Number 3, November 2019
- Eduardo Fermé, Guillermo Ricardo Simari:
Introduction to the special issue on belief revision, argumentation, ontologies, and norms. 185-186 - Ofer Arieli, Annemarie Borg, Jesse Heyninck:
A review of the relations between logical argumentation and reasoning with maximal consistency. 187-226 - Sven Ove Hansson:
Impossibility results for belief contraction. 227-232 - Paulo T. Guerra, Renata Wassermann:
Two AGM-style characterizations of model repair. 233-257 - John Cantwell, Hans Rott:
Probability, coherent belief and coherent belief changes. 259-291 - Juan Carlos Teze, Antoni Perello-Moragues, Lluís Godo, Pablo Noriega:
Practical reasoning using values: an argumentative approach based on a hierarchy of values. 293-319
Volume 87, Number 4, December 2019
- Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh:
The SAT+CAS method for combinatorial search with applications to best matrices. 321-342 - Federico Bergenti, Stefania Monica:
A subdivision algorithm to reason on high-degree polynomial constraints over finite domains. 343-360 - Sebastián A. Grillo:
A linear relation between input and first layer in neural networks. 361-372 - Morteza Ashraphijuo, Xiaodong Wang:
Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval. 373-393 - Dmitry Yu. Maximov, Sergey E. Ryvkin:
Multi-valued logic in graph transformation theory and self-adaptive systems. 395-408
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-11 22:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
