Works matching DE "DESCRIPTION logics"

Results: 407

"EL HECHICERO NO ES GENTE": CONSIDERACIONES PARA PENSAR EL CONJUNTO MULTIÉTNICO XINGUANO (MT, BRASIL) DESDE LA HECHICERÍA Y EL PARENTESCO.

Published in:

Runa: Archivo para las Ciencias del Hombre, 2013, v. 34, n. 2, p. 215

By:

Vanzolini, Marina

Publication type:

Article

Tensor products of function systems revisited.

Published in:

Positivity, 2016, v. 20, n. 1, p. 235, doi. 10.1007/s11117-015-0352-6

By:

Han, Kyung

Publication type:

Article

A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 273, doi. 10.1007/s10009-010-0161-y

By:

Bauer, K.;
Gentilini, R.;
Schneider, K.

Publication type:

Article

Mutadelic: mutation analysis using description logic inferencing capabilities.

Published in:

Bioinformatics, 2015, v. 31, n. 23, p. 3742, doi. 10.1093/bioinformatics/btv467

By:

Holford, Matthew E.;
Krauthammer, Michael

Publication type:

Article

OntoQuery: easy-to-use web-based OWL querying.

Published in:

Bioinformatics, 2013, v. 29, n. 22, p. 2955, doi. 10.1093/bioinformatics/btt514

By:

Tudose, Ilinca;
Hastings, Janna;
Muthukrishnan, Venkatesh;
Owen, Gareth;
Turner, Steve;
Dekker, Adriano;
Kale, Namrata;
Ennis, Marcus;
Steinbeck, Christoph

Publication type:

Article

Ontology patterns for tabular representations of biomedical knowledge on neglected tropical diseases.

Published in:

Bioinformatics, 2011, v. 27, n. 13, p. i349, doi. 10.1093/bioinformatics/btr226

By:

Santana, Filipe;
Schober, Daniel;
Medeiros, Zulma;
Freitas, Fred;
Schulz, Stefan

Publication type:

Article

基于本体的圆柱度规范完整性自动检验.

Published in:

Machine Tool & Hydraulics, 2023, v. 51, n. 20, p. 121, doi. 10.3969/j.issn.1001-3881.2023.20.019

By:

黄美发;
李靖扬;
张晗;
唐哲敏;
郑楠;
秦玲

Publication type:

Article

TRENDS IN ROUTE PLANNING WITH THE TOOLS OF INTELLIGENT DISTRIBUTION LOGISTICS.

Published in:

Advanced Logistic Systems: Theory & Practice, 2021, v. 15, n. 1, p. 65, doi. 10.32971/als.2021.006

By:

ANETT SZABÓ, ADÉL;
ILLÉS, BÉLA;
BÁNYAI TÓTH, ÁGOTA

Publication type:

Article

Evaluating Arguments Based on Toulmin’s Scheme.

Published in:

Argumentation, 2005, v. 19, n. 3, p. 347, doi. 10.1007/s10503-005-4421-z

By:

Verheij, Bart

Publication type:

Article

Analyse des empreintes guidée par un modèle de connaissances pour la compréhension des dynamiq.

Published in:

Revue Internationale de Géomatique, 2022, v. 31, n. 1/2, p. 111, doi. 10.3166/rig31.111-133

By:

Laddada, Wissame;
Saux, Éric

Publication type:

Article

The Real Color of Money: Controlling Black Bodies in the NBA.

Published in:

Journal of Sport & Social Issues, 2006, v. 30, n. 2, p. 158, doi. 10.1177/0193723506286725

By:

Leonard, David J.

Publication type:

Article

Incomplete Symbols - Definite Descriptions Revisited.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 5, p. 489, doi. 10.1007/s10992-014-9339-1

By:

Gratzl, Norbert

Publication type:

Article

On the Decidability Status of Fuzzy $\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept Inclusions.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 2, p. 117, doi. 10.1007/s10992-014-9329-3

By:

Baader, Franz;
Borgwardt, Stefan;
Peñaloza, Rafael

Publication type:

Article

Truth, Dependence and Supervaluation: Living with the Ghost.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 2, p. 221, doi. 10.1007/s10992-011-9219-x

By:

Meadows, Toby

Publication type:

Article

Non-classical Metatheory for Non-classical Logics.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 2, p. 335, doi. 10.1007/s10992-012-9223-9

By:

Bacon, Andrew

Publication type:

Article

An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency.

Published in:

Journal of Philosophical Logic, 2006, v. 35, n. 6, p. 539, doi. 10.1007/s10992-005-9004-9

By:

Meheus*, Joke

Publication type:

Article

Permission from an Input/Output Perspective.

Published in:

Journal of Philosophical Logic, 2003, v. 32, n. 4, p. 391, doi. 10.1023/A:1024806529939

By:

Makinson, David;
van der Torre, Leendert

Publication type:

Article

A Revenge-Immune Solution to the Semantic Paradoxes.

Published in:

Journal of Philosophical Logic, 2003, v. 32, n. 2, p. 139, doi. 10.1023/A:1023027808400

By:

Field, Hartry

Publication type:

Article

DESCRIPTION-NAMES.

Published in:

Journal of Philosophical Logic, 2002, v. 31, n. 4, p. 313, doi. 10.1023/A:1019950905478

By:

Corazza, Eros

Publication type:

Article

Mitigating the Myopia of Dominant Logics: On Differential Performance and Strategic Supply Chain Research.

Published in:

Journal of Business Logistics, 2012, v. 33, n. 3, p. 173, doi. 10.1111/j.2158-1592.2012.01050.x

By:

Fawcett, Stanley E.;
Waller, Matthew A.

Publication type:

Article

The Contradictions of Compensation: Compensatory Education Enactments in Secondary Education.

Published in:

Revista Española de Investigaciones Sociológicas, 2020, n. 169, p. 143, doi. 10.5477/cis/reis.169.143

By:

Rujas Martínez-Novillo, Javier

Publication type:

Article

Detection of Conflicts Between Resource Authorization Rules in Extensible Access Control Markup Language Based on Dynamic Description Logic.

Published in:

Ingénierie des Systèmes d'Information, 2020, v. 25, n. 3, p. 285, doi. 10.18280/isi.250301

By:

Shaoyu Yang;
Cong Tan

Publication type:

Article

Quand les actes agricoles sont au care et au compagnonnage : L'exemple de la biodynamie.

Published in:

Anthropologica, 2020, v. 62, n. 1, p. 93, doi. 10.3138/anth.2018-0103.r1

By:

Foyer, Jean;
Hermesse, Julie;
Hecquet, Corentin

Publication type:

Article

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 2, p. 368, doi. 10.1017/S1471068424000073

By:

QURESHI, HAYA MAJID;
FABER, WOLFGANG

Publication type:

Article

Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020).

Published in:

2023

By:

KLIEGR, TOMÁŠ;
GUTIERREZ-BASULTO, VICTOR;
SOYLU, AHMET

Publication type:

Editorial

Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies.

Published in:

Theory & Practice of Logic Programming, 2023, v. 23, n. 3, p. 594, doi. 10.1017/S1471068421000569

By:

PASI, GABRIELLA;
PEÑALOZA, RAFAEL

Publication type:

Article

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 4, p. 589, doi. 10.1017/S1471068422000163

By:

GIORDANO, LAURA;
THESEIDER DUPRÉ, DANIELE

Publication type:

Article

Probabilistic Semantic Web Reasoning and Learning.

Published in:

2022

By:

POZZATO, GIAN LUCA

Publication type:

Book Review

Reasoning on with Defeasibility in ASP.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 254, doi. 10.1017/S1471068421000132

By:

BOZZATO, LORIS;
EITER, THOMAS;
SERAFINI, LUCIANO

Publication type:

Article

Efficient TBox Reasoning with Value Restrictions using the ${\cal F}{{\cal L}_0}$ wer Reasoner.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 162, doi. 10.1017/S1471068421000466

By:

BAADER, FRANZ;
KOOPMANN, PATRICK;
MICHEL, FRIEDRICH;
TURHAN, ANNI-YASMIN;
ZARRIESS, BENJAMIN

Publication type:

Article

Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 305, doi. 10.1017/S1471068421000168

By:

LIU, FANGFANG;
YOU, JIA-HUAI

Publication type:

Article

Temporal Minimal-World Query Answering over Sparse ABoxes.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 193, doi. 10.1017/S1471068421000119

By:

BORGWARDT, STEFAN;
FORKEL, WALTER;
KOVTUNOVA, ALISA

Publication type:

Article

Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019).

Published in:

2021

By:

CALIMERI, FRANCESCO;
MANNA, MARCO;
PERRI, SIMONA

Publication type:

Editorial

Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 5, p. 593, doi. 10.1017/S1471068421000284

By:

BOZZATO, LORIS;
EITER, THOMAS;
KIESEL, RAFAEL

Publication type:

Article

The Probabilistic Description Logic.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 4, p. 404, doi. 10.1017/S1471068420000460

By:

BOTHA, LEONARD;
MEYER, THOMAS;
PEÑALOZA, RAFAEL

Publication type:

Article

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL.

Published in:

Theory & Practice of Logic Programming, 2020, v. 20, n. 5, p. 751, doi. 10.1017/S1471068420000381

By:

Giordano, Laura;
Theseider Dupré, Daniele

Publication type:

Article

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge.

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 4, p. 536, doi. 10.1017/S1471068418000479

By:

CALVANESE, DIEGO;
MONTALI, MARCO;
DUMAS, MARLON;
MAGGI, FABRIZIO M.

Publication type:

Article

Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 3, p. 449, doi. 10.1017/S1471068418000480

By:

ZESE, RICCARDO;
COTA, GIUSEPPE;
LAMMA, EVELINA;
BELLODI, ELENA;
RIGUZZI, FABRIZIO

Publication type:

Article

Local Meanings of Global Discourses: A Structural Approach to the Comparative Study of Institutional Meaning Systems.

Published in:

Field Methods, 2012, v. 24, n. 1, p. 28, doi. 10.1177/1525822X11419965

By:

Greckhamer, Thomas

Publication type:

Article

A Determinants-of-Fertility Ontology for Detecting Future Signals of Fertility Issues From Social Media Data: Development of an Ontology.

Published in:

2021

By:

Lee, Ji-Hyun;
Park, Hyeoun-Ae;
Song, Tae-Min

Publication type:

journal article

Sentiment Analysis of Social Media on Childhood Vaccination: Development of an Ontology.

Published in:

2019

By:

On, Jeongah;
Park, Hyeoun-Ae;
Song, Tae-Min

Publication type:

journal article

A Third Way in Metaethics.

Published in:

Nous (0029-4624), 2009, v. 43, n. 1, p. 1, doi. 10.1111/j.1468-0068.2008.01693.x

By:

Schroeter, Laura;
Schroeter, François

Publication type:

Article

PRODUCTION LOGISTICS SIMULATION SUPPORTED BY PROCESS DESCRIPTION LANGUAGES.

Published in:

Management & Production Engineering Review (MPER), 2016, v. 7, n. 1, p. 13, doi. 10.1515/mper-2016-0002

By:

Bohács, Gábor;
Kovács, Gábor;
Rinkács, Angéla

Publication type:

Article

TAS: Trust Assessment System.

Published in:

Information & Security, 2020, v. 44, p. 62, doi. 10.11610/isij.4406

By:

Ronchi, Alfredo

Publication type:

Article

Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies.

Published in:

Information (2078-2489), 2022, v. 13, n. 3, p. 139, doi. 10.3390/info13030139

By:

Louge, Thierry;
Karray, Mohamed Hedi;
Archimède, Bernard

Publication type:

Article

Exploiting an Ontological Model to Study COVID-19 Contagion Chains in Sustainable Smart Cities.

Published in:

Information (2078-2489), 2022, v. 13, n. 1, p. 40, doi. 10.3390/info13010040

By:

Silega, Nemury;
Varén, Eliani;
Varén, Alfredo;
Rogozov, Yury I.;
Lapshin, Vyacheslav S.;
Alekseevich, Skolupin A.

Publication type:

Article

A Semi-Automatic Semantic Consistency-Checking Method for Learning Ontology from Relational Database.

Published in:

Information (2078-2489), 2021, v. 12, n. 5, p. 188, doi. 10.3390/info12050188

By:

Ma, Chuangtao;
Molnár, Bálint;
Benczúr, András;
Psaila, Giuseppe;
Fosci, Paolo

Publication type:

Article

ByNowLife: A Novel Framework for OWL and Bayesian Network Integration.

Published in:

Information (2078-2489), 2019, v. 10, n. 3, p. 95, doi. 10.3390/info10030095

By:

Setiawan, Foni A.;
Budiardjo, Eko K.;
Wibowo, Wahyu C.

Publication type:

Article

Description Logics are Hybrid Multi-Modal Logics.

Published in:

International Journal of Software & Informatics, 2014, v. 13, n. 1, p. 133

By:

Yuefei Sui;
Meiying Sun

Publication type:

Article

Enhancing reasoning through reduction of vagueness using fuzzy OWL-2 for representation of breast cancer ontologies.

Published in:

Neural Computing & Applications, 2022, v. 34, n. 4, p. 3053, doi. 10.1007/s00521-021-06517-2

By:

Oyelade, Olaide N.;
Ezugwu, Absalom E.;
Adewuyi, Sunday A.

Publication type:

Article