Works matching DE "DESCRIPTION logics"

Results: 428

Non-Fregean World of Logics.

Published in:

Journal of Philosophical Logic, 2025, v. 54, n. 3, p. 575, doi. 10.1007/s10992-025-09795-6

By:

Golińska-Pilarek, Joanna

Publication type:

Article

Ontológiák és tezauruszok csúcsfogalmai.

Published in:

Tudományos és Műszaki Tájékoztatás, 2007, v. 54, n. 10, p. 441

By:

Ungváry, Rudolf

Publication type:

Article

Contextual Fuzzy-Based Decision Support System Through Opinion Analysis: A Case Study at University of the Salerno.

Published in:

International Journal of Information Technology & Decision Making, 2016, v. 15, n. 5, p. 923, doi. 10.1142/S0219622016500231

By:

De Maio, Carmen;
Tommasetti, Aurelio;
Troisi, Orlando;
Vesci, Massimiliano;
Fenza, Giuseppe;
Loia, Vincenzo

Publication type:

Article

Preferential Semantics for Plausible Subsumption in Possibility Theory.

Published in:

Minds & Machines, 2013, v. 23, n. 1, p. 47, doi. 10.1007/s11023-012-9300-4

By:

Qi, Guilin;
Zhang, Zhizheng

Publication type:

Article

Book Reviews:Franz Baader et al. (eds.), The Description Logic Handbook, Cambridge: Cambridge University Press, 2003, xvii+555 pp., $130, ISBN 0-52178-176-0.

Published in:

2005

By:

Bremer, Manuel

Publication type:

Book Review

A fuzzy ontology-based context-aware encryption approach in IoT through device and information classification.

Published in:

Journal of Supercomputing, 2024, v. 80, n. 16, p. 23311, doi. 10.1007/s11227-024-06317-0

By:

Zeshan, Furkh;
dar, Zaineb;
Ahmad, Adnan;
Malik, Tariq

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

La Théorie du Concept des Normes ISO à l'Ere Numérique.

Published in:

Digital Scholarship in the Humanities, 2023, v. 38, p. i73, doi. 10.1093/llc/fqad023

By:

Roche, Christophe

Publication type:

Article

Internal versus External Representation.

Published in:

Journal of Aesthetics & Art Criticism, 2004, v. 62, n. 1, p. 23, doi. 10.1111/j.1540-594X.2004.00132.x

By:

Dilworth, John

Publication type:

Article

Approximate Reasoning for Large-Scale ABox in OWL DL Based on Neural-Symbolic Learning.

Published in:

Mathematics (2227-7390), 2023, v. 11, n. 3, p. 495, doi. 10.3390/math11030495

By:

Zhu, Xixi;
Liu, Bin;
Zhu, Cheng;
Ding, Zhaoyun;
Yao, Li

Publication type:

Article

Logics of Statements in Context-Category Independent Basics.

Published in:

Mathematics (2227-7390), 2022, v. 10, n. 7, p. 1085, doi. 10.3390/math10071085

By:

Wolter, Uwe

Publication type:

Article

Algorithms for Instance Retrieval and Realization in Fuzzy Ontologies.

Published in:

Mathematics (2227-7390), 2020, v. 8, n. 2, p. 154, doi. 10.3390/math8020154

By:

Huitzil, Ignacio;
Bernad, Jorge;
Bobillo, Fernando

Publication type:

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

Fitting the Message to the Listener: Children Selectively Mention General and Specific Facts.

Published in:

2018

By:

Baer, Carolyn;
Friedman, Ori

Publication type:

journal 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

The Drosophila anatomy ontology.

Published in:

Journal of Biomedical Semantics, 2013, v. 4, n. 1, p. 1, doi. 10.1186/2041-1480-4-32

By:

Costa, Marta;
Reeve, Simon;
Grumbling, Gary;
Osumi-Sutherland, David

Publication type:

Article

Developing a semantically rich ontology for the biobank-administration domain.

Published in:

Journal of Biomedical Semantics, 2013, v. 4, n. 1, p. 1, doi. 10.1186/2041-1480-4-23

By:

Brochhausen, Mathias;
Fransson, Martin N.;
Kanaskar, Nitin V.;
Eriksson, Mikael;
Merino-Martinez, Roxana;
Hall, Roger A.;
Norlin, Loreana;
Kjellqvist, Sanela;
Hortlund, Maria;
Topaloglu, Umit;
Hogan, William R.;
Litton, Jan-Eric

Publication type:

Article

A formalization for semantic location granules.

Published in:

International Journal of Geographical Information Science, 2013, v. 27, n. 6, p. 1090, doi. 10.1080/13658816.2012.739691

By:

Bernad, Jorge;
Bobed, Carlos;
Mena, Eduardo;
Ilarri, Sergio

Publication type:

Article

Uncertainty and the logic of imperfect ideological integration.

Published in:

Revista de Stiinte Politice / Revue des Sciences Politiques, 2011, n. 32, p. 50

By:

Volacu, Alexandru

Publication type:

Article

ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM.

Published in:

Review of Symbolic Logic, 2011, v. 4, n. 3, p. 367, doi. 10.1017/S1755020310000286

By:

GRABMAYER, CLEMENS;
LEO, JOOP;
VAN OOSTROM, VINCENT;
VISSER, ALBERT

Publication type:

Article

REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY.

Published in:

International Journal of Foundations of Computer Science, 2009, v. 20, n. 3, p. 395, doi. 10.1142/S0129054109006644

By:

Lucanu, Dorel

Publication type:

Article

Tense Logic Without Tense Operators.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 145, doi. 10.1002/malq.19960420113

By:

Wolter, Frank

Publication type:

Article

Semantic Matchmaking of Web Resources with Local Closed-World Reasoning.

Published in:

International Journal of Electronic Commerce, 2007, v. 12, n. 2, p. 89, doi. 10.2753/JEC1086-4415120204

By:

Grimm, Stephan;
Hitzler, Pascal

Publication type:

Article

A System for Principled Matchmaking in an Electronic Marketplace.

Published in:

International Journal of Electronic Commerce, 2004, v. 8, n. 4, p. 9, doi. 10.1080/10864415.2004.11044308

By:

Di Noia, Tommaso;
Di Sciascio, Eugenio;
Donini, Francesco M.;
Mongiello, Marina

Publication type:

Article

SOME MODEL THEORY OF GUARDED NEGATION.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1307, doi. 10.1017/jsl.2018.64

By:

BÁRÁNY, VINCE;
BENEDIKT, MICHAEL;
CATE, BALDER TEN

Publication type:

Article

DESCRIPTIONS AND CARDINALS BELOW $\delta _5^1$.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 4, p. 1177, doi. 10.1017/jsl.2016.7

By:

JACKSON, STEVE;
KHAFIZOV, FARID T.

Publication type:

Article

Food and Drink: Engaging the Logics of New Mediation.

Published in:

Explorations in Media Ecology, 2012, v. 10, n. 1/2, p. 25, doi. 10.1386/eme.10.1-2.25_1

By:

Beckham, J. Nikol

Publication type:

Article

Gesamtinhaltsverzeichnis 2019.

Published in:: 2019
Publication type:: Table of Contents

What is the Problem with High Prison Temperatures? From the Threat to Health to the Right to Comfort.

Published in:

New Political Science (Taylor & Francis Ltd), 2018, v. 40, n. 1, p. 70, doi. 10.1080/07393148.2017.1417213

By:

Terwiel, Anna

Publication type:

Article

El silogismo poético y la imaginación en Alfarabi.

Published in:

Tópicos. Revista de Filosofía, 2000, n. 18, p. 97

By:

Xavier López Farjeat, Luis

Publication type:

Article

From Algorithms to (Sub-)Symbolic Inferences in Multi-Agent Systems.

Published in:

International Journal of Computers, Communications & Control, 2006, v. 1, n. 3, p. 5, doi. 10.15837/ijccc.2006.3.2290

By:

Bãrbat, Boldur E.;
Negulescu, Sorin C.

Publication type:

Article

Kant's Categories of Quantity and Quality, Reconsidered: From the Point of View of the History of Logic and Natural Science.

Published in:

Philosophia, 2022, v. 50, n. 5, p. 2707, doi. 10.1007/s11406-022-00563-3

By:

Tomida, Yasuhiko

Publication type:

Article

Anticipation, Materiality, Event: The Icelandic Ash Cloud Disruption and the Security of Mobility.

Published in:

Mobilities, 2011, v. 6, n. 1, p. 11, doi. 10.1080/17450101.2011.532919

By:

Adey, Peter;
Anderson, Ben

Publication type:

Article

WHAT IS THE CONCEPT OF HORSE?

Published in:

Signos Filosóficos, 2021, v. 23, n. 46, p. 150

By:

FERNÁNDEZ DE CASTRO, MAX;
CORONEL, MARÍA ESPINOZA

Publication type:

Article

Goal-oriented modeling and verification of feature-oriented product lines.

Published in:

Software & Systems Modeling, 2016, v. 15, n. 1, p. 257, doi. 10.1007/s10270-014-0402-8

By:

Asadi, Mohsen;
Gröner, Gerd;
Mohabbati, Bardia;
Gašević, Dragan

Publication type:

Article

A description logic framework for advanced accessing and reasoning over normative provisions.

Published in:

Artificial Intelligence & Law, 2014, v. 22, n. 3, p. 291, doi. 10.1007/s10506-014-9158-2

By:

Francesconi, Enrico

Publication type:

Article

An ontology of physical causation as a basis for assessing causation in fact and attributing legal responsibility.

Published in:

Artificial Intelligence & Law, 2007, v. 15, n. 3, p. 301, doi. 10.1007/s10506-007-9035-3

By:

Jos Lehmann;
Aldo Gangemi

Publication type:

Article

Choice Points for a Theory of Normality.

Published in:

Mind (0026-4423), 2022, v. 131, n. 521, p. 159, doi. 10.1093/mind/fzab021

By:

Loets, Annina J

Publication type:

Article

What Would a Phenomenology of Logic Look Like?

Published in:

Mind (0026-4423), 2020, v. 129, n. 516, p. 1009, doi. 10.1093/mind/fzaa031

By:

Kinkaid, James

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

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

Are Ancient Logics Explosive?

Published in:

History & Philosophy of Logic, 2024, v. 45, n. 2, p. 109, doi. 10.1080/01445340.2023.2280378

By:

Tkaczyk, Marcin

Publication type:

Article

On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz.

Published in:

History & Philosophy of Logic, 2022, v. 43, n. 1, p. 70, doi. 10.1080/01445340.2021.1899475

By:

Radzki, Mateusz M.

Publication type:

Article

Horst Wessel: Contributions to the Theory of Logical Consequence, Non-Traditional Theory of Predication and Logical Theory of Terms.

Published in:

History & Philosophy of Logic, 2020, v. 41, n. 3, p. 291, doi. 10.1080/01445340.2020.1771647

By:

Wuttich, Klaus

Publication type:

Article

Sextus Empiricus' Fourth Conditional and Containment Logic.

Published in:

History & Philosophy of Logic, 2019, v. 40, n. 4, p. 307, doi. 10.1080/01445340.2019.1647083

By:

Weiss, Yale

Publication type:

Article

基于 DL 关联εL <sup>＋＋</sup>规则挖掘的归纳知识发现.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2020, v. 37, n. 7, p. 1974, doi. 10.19734/J.ISSN.1001-3695.2019.01.0008

By:

李春雨

Publication type:

Article

Event instance checking method based on extended description logic.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 11, p. 3285, doi. 10.3969/j.issn.1001-3695.2014.11.020

By:

TANG Ying-ying;
LIU Wei;
SU Xiao-ying;
LIU Fei-jing

Publication type:

Article

Structural completeness in propositional logics of dependence.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 955, doi. 10.1007/s00153-016-0505-8

By:

Iemhoff, Rosalie;
Yang, Fan

Publication type:

Article

On interplay of quantifiers in Gödel-Dummett fuzzy logics.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 5, p. 569, doi. 10.1007/s00153-005-0322-y

By:

Kozlíková, Blanka;
Švejdar, Vítēzslav

Publication type:

Article

Semántica categórica para subexponenciales en SELL.

Published in:

Revista Integración, 2014, v. 32, n. 1, p. 39

By:

Ernesto Ramírez, Carlos

Publication type:

Article