Tractable reasoning with vague knowledge using fuzzy $\mathcal{EL}^{++}$

2012 ◽  
Vol 39 (2) ◽  
pp. 399-440 ◽  
Author(s):  
Theofilos Mailis ◽  
Giorgos Stoilos ◽  
Nikolaos Simou ◽  
Giorgos Stamou ◽  
Stefanos Kollias
Keyword(s):  
Tractable Reasoning

Tractable Reasoning about Group Beliefs

2014 ◽  
pp. 328-350 ◽  
Author(s):  
Barbara Dunin-Kęplicz ◽  
Andrzej Szałas ◽  
Rineke Verbrugge
Keyword(s):  
Tractable Reasoning

scholarly journals Tractable reasoning via approximation

1995 ◽  
Vol 74 (2) ◽  
pp. 249-310 ◽  
Author(s):  
Marco Schaerf ◽  
Marco Cadoli
Keyword(s):  
Tractable Reasoning

scholarly journals Tractable Reasoning in a Fragment of Separation Logic

2011 ◽  
pp. 235-249 ◽  
Author(s):  
Byron Cook ◽  
Christoph Haase ◽  
Joël Ouaknine ◽  
Matthew Parkinson ◽  
James Worrell
Keyword(s):  
Separation Logic ◽  
Tractable Reasoning

scholarly journals Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

2007 ◽  
Vol 39 (3) ◽  
pp. 385-429 ◽  
Author(s):  
Diego Calvanese ◽  
Giuseppe De Giacomo ◽  
Domenico Lembo ◽  
Maurizio Lenzerini ◽  
Riccardo Rosati
Keyword(s):  
Description Logics ◽  
Query Answering ◽  
Tractable Reasoning
Sign in / Sign up

Export Citation Format

Share Document