ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Dynamic Tractable Reasoning
Mapping Intimacies
◽
10.1007/978-3-030-36233-1
◽
2020
◽
Author(s):
Holger Andreas
Keyword(s):
Tractable Reasoning
Download Full-text
Related Documents
Cited By
References
Tractable Reasoning about Group Beliefs
Engineering Multi-Agent Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-319-14484-9_17
◽
2014
◽
pp. 328-350
◽
Cited By ~ 6
Author(s):
Barbara Dunin-Kęplicz
◽
Andrzej Szałas
◽
Rineke Verbrugge
Keyword(s):
Tractable Reasoning
Download Full-text
Tractable Reasoning with Bayesian Description Logics
Lecture Notes in Computer Science - Scalable Uncertainty Management
◽
10.1007/978-3-540-87993-0_13
◽
2008
◽
pp. 146-159
◽
Cited By ~ 23
Author(s):
Claudia d’Amato
◽
Nicola Fanizzi
◽
Thomas Lukasiewicz
Keyword(s):
Description Logics
◽
Tractable Reasoning
Download Full-text
Tractable Reasoning in Description Logics with Functionality Constraints
In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science
◽
10.1007/978-3-642-41660-6_8
◽
2013
◽
pp. 174-192
Author(s):
Andrea Calì
◽
Georg Gottlob
◽
Andreas Pieris
Keyword(s):
Description Logics
◽
Tractable Reasoning
Download Full-text
Tractable reasoning in probabilistic OWL profiles
Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18
◽
10.1145/3167132.3167229
◽
2018
◽
Author(s):
Melisachew Wudage Chekol
◽
Heiner Stuckenschmidt
Keyword(s):
Tractable Reasoning
Download Full-text
Tractable reasoning via approximation
Artificial Intelligence
◽
10.1016/0004-3702(94)00009-p
◽
1995
◽
Vol 74
(2)
◽
pp. 249-310
◽
Cited By ~ 83
Author(s):
Marco Schaerf
◽
Marco Cadoli
Keyword(s):
Tractable Reasoning
Download Full-text
Tractable Reasoning in Artificial Intelligence
10.1007/3-540-60058-2
◽
1995
◽
Cited By ~ 14
Author(s):
Marco Cadoli
Keyword(s):
Artificial Intelligence
◽
Tractable Reasoning
Download Full-text
Tractable Reasoning in a Fragment of Separation Logic
CONCUR 2011 – Concurrency Theory - Lecture Notes in Computer Science
◽
10.1007/978-3-642-23217-6_16
◽
2011
◽
pp. 235-249
◽
Cited By ~ 43
Author(s):
Byron Cook
◽
Christoph Haase
◽
Joël Ouaknine
◽
Matthew Parkinson
◽
James Worrell
Keyword(s):
Separation Logic
◽
Tractable Reasoning
Download Full-text
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
◽
10.1007/s10817-007-9078-x
◽
2007
◽
Vol 39
(3)
◽
pp. 385-429
◽
Cited By ~ 558
Author(s):
Diego Calvanese
◽
Giuseppe De Giacomo
◽
Domenico Lembo
◽
Maurizio Lenzerini
◽
Riccardo Rosati
Keyword(s):
Description Logics
◽
Query Answering
◽
Tractable Reasoning
Download Full-text
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence
◽
10.1016/j.artint.2014.01.002
◽
2014
◽
Vol 209
◽
pp. 29-77
◽
Cited By ~ 6
Author(s):
František Simančík
◽
Boris Motik
◽
Ian Horrocks
Keyword(s):
Description Logics
◽
Fixed Parameter Tractable
◽
Fixed Parameter
◽
Tractable Reasoning
Download Full-text
Tractable Reasoning Problems with Fully-Characterized Association Rules
Advances in Databases and Information Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-642-33074-2_21
◽
2012
◽
pp. 282-295
Author(s):
Mauricio Minuto Espil
Keyword(s):
Association Rules
◽
Tractable Reasoning
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close