Relevant bibliographies by topics / Logica

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Logica'

Author: Grafiati
Published: 4 June 2021
Last updated: 26 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logica.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Logica"

1

Piccini, Caterina. "Concetto e realtà: il metodo della logica combinatoria in Hegel." DILEF. Rivista digitale del Dipartimento di Lettere e Filosofia, no. 3 (December 13, 2023): 1–17. http://dx.doi.org/10.35948/dilef/2023.4345.

Full text
Abstract:
All’interno del grande problema metodologico sul rapporto tra Logica e Realphilosophie, Hegel identifica come realmente scientifica la comprensione della relazione tra Begriff e Vorstellung, in cui si tratta della rappresentazione come strumento categoriale dove il pensiero è immerso nell’alterità. A partire dalla necessità metodologica di un nesso sistematico tra rappresentazione e concetto, costitutivo di una logica combinatoria, il presente contributo si propone di comprendere quali ragioni sistematico-concettuali hanno portato Hegel nell’Enciclopedia delle scienze filosofiche in compendio
APA, Harvard, Vancouver, ISO, and other styles
2

Piccini, Caterina. "Concetto e realtà: il metodo della logica combinatoria in Hegel." DILEF. Rivista digitale del Dipartimento di Lettere e Filosofia, no. 3 (December 13, 2023): 36–52. http://dx.doi.org/10.35948/dilef/2024.4345.

Full text
Abstract:
All’interno del grande problema metodologico sul rapporto tra Logica e Realphilosophie, Hegel identifica come realmente scientifica la comprensione della relazione tra Begriff e Vorstellung, in cui si tratta della rappresentazione come strumento categoriale dove il pensiero è immerso nell’alterità. A partire dalla necessità metodologica di un nesso sistematico tra rappresentazione e concetto, costitutivo di una logica combinatoria, il presente contributo si propone di comprendere quali ragioni sistematico-concettuali hanno portato Hegel nell’Enciclopedia delle scienze filosofiche in compendio
APA, Harvard, Vancouver, ISO, and other styles
3

Common, John. "Dura logica, sed logica." La Revue Nouvelle N° 3, no. 3 (2021): 22–24. http://dx.doi.org/10.3917/rn.213.0022.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Spruyt, Joke. "Logica modernorum." Algemeen Nederlands Tijdschrift voor Wijsbegeerte 113, no. 2 (2021): 249–62. http://dx.doi.org/10.5117/antw2021.2.005.spru.

Full text
Abstract:
Abstract Logica modernorum. A critical note on Habermas’s portrait of medieval philosophy In his monumental history of philosophy, the eminent scholar Jürgen Habermas has managed to provide us with a thorough and very nuanced overview of thousands of years of western thought. The famous philosopher paints an impressive picture of the vicissitudes of the modernisation processes featuring in the history of western philosophy. The Leitmotiv of Habermas’s narrative is the way in which throughout history philosophy dealt with the question concerning the relationship between faith and reason. When i
APA, Harvard, Vancouver, ISO, and other styles
5

Mattioli, Moreno. "Vedere l'invisibile." SETTING, no. 48 (October 2024): 157–69. http://dx.doi.org/10.3280/set2024-048006.

Full text
Abstract:
Questo articolo vuole mettere in evidenza come la teorizzazione di Matte Blanco sull'inconscio come insiemi infiniti abbia delle ricadute cliniche importanti che la co-munità psicoanalitica non sembra ancora avere raccolto. Forse la formulazione dell'inconscio in termini logici mantiene lontani la maggior parte degli psicoanalisti che sembrano più portati a trattare con concetti psicologici e non logici. Questo lavo-ro ha come intento quello di mostrare come la logica introdotta da Matte Blanco, non sia una logica metaforica, ma il cuore dell'essere dell'inconscio. Vedere l'invisibile è uno de
APA, Harvard, Vancouver, ISO, and other styles
6

Tulenheimo, Tero. "Three Nordic Neo-Aristotelians and the First Doorkeeper of Logic." Studia Neoaristotelica 19, no. 1 (2022): 3–106. http://dx.doi.org/10.5840/studneoar20221911.

Full text
Abstract:
I discuss the views on logic held by three early Nordic neo-Aristotelians — the Swedes Johannes Canuti Lenaeus (1573–1669) and Johannes Rudbeckius (1581–1646), and the Dane Caspar Bartholin (1585–1629). They all studied in Wittenberg (enrolled respectively in 1597, 1601, and 1604) and were exponents of protestant (Lutheran) scholasticism. The works I utilize are Janitores logici bini (1607) and Enchiridion logicum (1608) by Bartholin; Logica (1625) and Controversiae logices (1629) by Rudbeckius; and Logica peripatetica (1633) by Lenaeus. Rudbeckius’s and Lenaeus’s books were published much lat
APA, Harvard, Vancouver, ISO, and other styles
7

Raasing, Ilse. "Logica." Management Kinderopvang 25, no. 1 (2019): 41. http://dx.doi.org/10.1007/s41190-019-0008-z.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hopkins, Leon. "Logica." ITNOW 28, no. 1 (1986): 28–29. https://doi.org/10.1093/combul/28.1.28.

Full text
Abstract:
Abstract Logica admits that parts of its business are risky. And this was brought home to it with a vengence last year when it chalked up large losses. The upshot has been that the software specialist has been forced to get shot of its office automation business and to raise additional capital.
APA, Harvard, Vancouver, ISO, and other styles
9

Botella, César. "Per un ampliamento del metodo freudiano." SETTING, no. 31 (September 2012): 35–52. http://dx.doi.org/10.3280/set2011-031003.

Full text
Abstract:
L'articolo sostiene la necessitŕ di articolare tra loro, nella terapia psicoanalitica, la componente logica e la componente affettiva della relazione. La componente logico-cognitiva si esprime soprattutto attraverso l'attivitŕ interpretativa all'interno della quale sono presenti implicitamente anche aspetti affettivi; reciprocamente, gli interventi non-interpretativi non mancano mai di una componente logica o cognitiva. Questa č legata alle varie teorie a cui facciamo riferimento e alla conoscenza del paziente, e soprattutto al terapeuta e al controtransfert in quel particolare momento della t
APA, Harvard, Vancouver, ISO, and other styles
10

Valente, Luisa. "Names That Can Be Said of Everything: Porphyrian Tradition and 'Transcendental' Terms in Twelfth-Century Logic." Vivarium 45, no. 2 (2007): 298–310. http://dx.doi.org/10.1163/156853407x217786.

Full text
Abstract:
AbstractIn an article published in 2003, Klaus Jacobi—using texts partially edited in De Rijk's Logica Modernorum—demonstrated that twelfth-century logic contains a tradition of reflecting about some of the transcendental names (nomina transcendentia). In addition to reinforcing Jacobi's thesis with other texts, this contribution aims to demonstrate two points: 1) That twelfth-century logical reflection about transcendental terms has its origin in the logica vetus, and especially in a passage from Porphyry Isagoge and in Boethius's commentary on it. In spite of the loss of the major part of th
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logica"

1

BONZIO, STEFANO. "Algebraic structures from quantum and fuzzy logics." Doctoral thesis, Università degli Studi di Cagliari, 2016. http://hdl.handle.net/11584/266667.

Full text
Abstract:
This thesis concerns the wide research area of logic. In particular, the first part is devoted to analyze different kinds of relational systems (orthogonal and residuated), by investigating the properties of the algebras associated to them. The second part is focused on algebras of logic, in particular, the relationship between prominent quantum and fuzzy structures with certain semirings is proved. The last chapter concerns an application of group theory to some well known mathematical puzzles.
APA, Harvard, Vancouver, ISO, and other styles
2

Nalon, Cláudia. "Logica condicional forte." [s.n.], 1997. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276117.

Full text
Abstract:
Orientador: Jacques Wainer<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-07-23T12:34:38Z (GMT). No. of bitstreams: 1 Nalon_Claudia_M.pdf: 2467341 bytes, checksum: 9f24d9238b525a65fc41d8409dadac9b (MD5) Previous issue date: 1997<br>Resumo: As lógicas não-monotônicas podem ser classificadas, segundo as conclusões que podem ser obtidas, em fracas ou fortes. As lógicas fortes, entre as quais se incluem sistemas nãomonotônicos clássicos [Reiter, 80] [McCarthy,80] [Moore, 85] [Marek e Truszczynski, 91], permitem conclusõe
APA, Harvard, Vancouver, ISO, and other styles
3

Petrini, Noemi. "Un argomento di storia della logica: dal sillogismo alla logica monadica." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2018.

Find full text
Abstract:
Il sillogismo è una particolare forma di ragionamento deduttivo nel quale poste due premesse segue una conclusione. Il sillogismo e la sua formalizzazione nell’ambito della logica predicativa sono i temi centrali di questa tesi. Dopo un breve inquadramento dal punto di vista storico, volto a soffermarsi sull’evoluzione dello studio del sillogismo nel corso della storia, in particolare nell’epoca classica greca, scolastica medievale, moderna e contemporanea, viene illustrata una sua interpretazione mediante il calcolo delle classi. Data la classificazione tradizionale del sillogismo nelle qua
APA, Harvard, Vancouver, ISO, and other styles
4

Bertacco, Daniele <1976&gt. "Mea logica, vera logica: il metodo cartesiano e i fatti della ragione." Doctoral thesis, Università Ca' Foscari Venezia, 2004. http://hdl.handle.net/10579/807.

Full text
Abstract:
Questo lavoro può essere letto come il convergere di due percorsi distinti, l'uno soprattutto storico, l'altro più prettamente teorico, verso un'interpretazione del Cogito cartesiano come "fatto della ragione". Il percorso storico, che coincide con i primi tre capitoli, intende ricostruire il rifiuto cartesiano della tradizione aristotelico-scolastica, nozione che proprio dal punto di vista storico resta sottodeterminata, ma d'altra parte è questo un limite che si deve imputare allo stesso Descartes; ho analizzato dunque quest'unica operazione cartesiana distinguendo in essa tre movimenti prof
APA, Harvard, Vancouver, ISO, and other styles
5

BARCA, ANDREA. "La costruzione logica del diritto. Proposizioni normative e logica dei sistemi normativi." Doctoral thesis, Università degli studi di Genova, 2020. http://hdl.handle.net/11567/1016089.

Full text
Abstract:
A central problem of deontic logic is to reconstruct a notion of normative system (understood as a set of norms, together with their logical consequences) assuming the non-cognitvistic thesis according to which norms are neither true nor false. This work aims to solve this fundamental problem, starting from the key distinction between the concept of norm and the concept of normative proposition (i.e. the meaning of a statement about the existence/validity of a norm within a given normative system). Once I have analyzed (and “de-constructed”) the concept of normative proposition, I’ll examine
APA, Harvard, Vancouver, ISO, and other styles
6

Del, Din Guido. "Empirismo e semantica: da Rudolf Carnap all'epistemologia contemporanea." Doctoral thesis, Università degli studi di Padova, 2013. http://hdl.handle.net/11577/3422596.

Full text
Abstract:
Empiricism and Semantics: From Rudolf Carnap to Contemporary Epistemology In recent years analytic philosophy has developed a deeper interest in the historiographical reconstruction of its roots. This interest is testified by many publications, which have appeared since the 90’s, about the life and thought of classical authors of analytic tradition, like Frege, Russell, Wittgenstein, Carnap and Tarski. In my doctoral thesis I take up this line, focusing on two famous works of Rudolf Carnap: Der logische Aufbau der Welt, published in 1928, and Logische Syntax der Sprache, published in 1934. T
APA, Harvard, Vancouver, ISO, and other styles
7

Magossi, José Carlos 1963. "Uma logica modal temporal." [s.n.], 1994. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278664.

Full text
Abstract:
Orientador: Jose Alexandre Durry Guerzoni<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Made available in DSpace on 2018-07-19T12:28:05Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_M.pdf: 10085958 bytes, checksum: 78f696d242fe4880bc35c9334cf34e9c (MD5) Previous issue date: 1994<br>Resumo: Não informado<br>Abstract: Not informed.<br>Mestrado<br>Mestre em Lógica e Filosofia da Ciência
APA, Harvard, Vancouver, ISO, and other styles
8

Raimondi, Daniele. "Crittoanalisi Logica di DES." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amslaurea.unibo.it/1895/.

Full text
Abstract:
La crittografia ha sempre rivestito un ruolo primario nella storia del genere umano, dagli albori ai giorni nostri, e il periodo in cui viviamo non fa certo eccezione. Al giorno d'oggi, molti dei gesti che vengono compiuti anche solo come abitudine (operazioni bancarie, apertura automatica dell'auto, accedere a Facebook, ecc.), celano al loro interno la costante presenza di sofisticati sistemi crittografici. Proprio a causa di questo fatto, è importante che gli algoritmi utilizzati siano in qualche modo certificati come ragionevolmente sicuri e che la ricerca in questo campo proceda costant
APA, Harvard, Vancouver, ISO, and other styles
9

Dainesi, Carlotta. "Logica modale della dimostrabilità." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amslaurea.unibo.it/3685/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

CUSCUSA, LUCA. "L’implicazione in C.I. Lewis. La nascita dell’implicazione stretta dagli scritti giovanili alla Symbolic Logic." Doctoral thesis, Università degli Studi di Cagliari, 2015. http://hdl.handle.net/11584/266373.

Full text
Abstract:
The necessity of ordering the philosohpical path that leads Clarence Irving Lewis to the formulation of the systems of strict implication gives birth to this work of thesis. After a short general introduction about the life and the philosophical view of Lewis, which is not strictly related to the logical writings, the attention has been at first focused on the historical-philosophic period between the nineteenth and twentieth centuries the framework in which his logical studies are put in, and afterwards on one of the first debates about material implication which shows Bertrand Russel
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Logica"

1

R, Perreiah Alan, ed. Logica parva. Brill, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Abrusci, Vito Michele, and Lorenzo Tortora de Falco. Logica. Springer Milan, 2018. http://dx.doi.org/10.1007/978-88-470-3968-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Abrusci, Vito Michele, and Lorenzo Tortora de Falco. Logica. Springer Milan, 2014. http://dx.doi.org/10.1007/978-88-470-5538-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Franciscus, de Prato. Logica. Steiner, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

1970-, Rode Christian, ed. Logica. Franz Steiner, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

1982-, Sgarbi Marco, ed. Logica. ETS, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Cosașu, Radu. Logica. Cartea Românească, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

de, Rijk Lambertus Marie, ed. Logica. Frommann-Holzborg, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Barone, Francesco. Logica formale e logica trascendentale. UNICOPLI, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Barone, Francesco. Logica formale e logica trascendentale. UNICOPLI, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Logica"

1

THAKKAR, Mark. "Wyclif’s Logica and the Logica Oxoniensis." In Textes et Etudes du Moyen Âge. Fédération Internationale des Instituts d’Études Médiévales, 2021. http://dx.doi.org/10.1484/m.tema-eb.5.124449.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cristiani, Emiliano. "Logica matematica." In Chiamalo x! Springer Milan, 2009. http://dx.doi.org/10.1007/978-88-470-1091-8_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sambin, G. "Logica intuizionistica e logica classica a confronto." In Un mondo di idee. Springer Milan, 2011. http://dx.doi.org/10.1007/978-88-470-1744-3_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Flaminio, Tommaso, and Sara Ugolini. "Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$." In Logic in Asia: Studia Logica Library. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-1342-8_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Streufert, Peter A. "The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms." In Logic in Asia: Studia Logica Library. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-1342-8_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Balbiani, Philippe. "About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability." In Logic in Asia: Studia Logica Library. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-1342-8_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Balbiani, Philippe, and Çiğdem Gencer. "Contact Logic is Finitary for Unification with Constants." In Logic in Asia: Studia Logica Library. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-1342-8_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dong, Huimin. "A Multi-agent Default Theory of Permission." In Logic in Asia: Studia Logica Library. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-1342-8_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Conradie, Willem, and Claudette Robinson. "Algebraic Semantics for Hybrid Logics." In Logic in Asia: Studia Logica Library. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-1342-8_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ono, Hiroakira. "Semantical Approach to Cut Elimination and Subformula Property in Modal Logic." In Logic in Asia: Studia Logica Library. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-48357-2_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logica"

1

Artale, Alessandro, Roman Kontchakov, Andrea Mazzullo, and Frank Wolter. "Non-Rigid Designators in Modal and Temporal Free Description Logics." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/8.

Full text
Abstract:
Definite descriptions, such as ‘the General Chair of KR 2024’, are a semantically transparent device for object identification in knowledge representation. In first-order modal logic, definite descriptions have been widely investigated for their non-rigidity, which allows them to designate different objects (or none at all) at different states. We propose expressive modal description logics with non-rigid definite descriptions and names, and investigate decidability and complexity of the satisfiability problem. We first systematically link satisfiability for the one-variable fragment of first-
APA, Harvard, Vancouver, ISO, and other styles
2

Coumes, Simon, Pierre-Henri Paris, François Schwarzentruber, and Fabian M. Suchanek. "Qiana: A First-Order Formalism to Quantify over Contexts and Formulas." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/28.

Full text
Abstract:
We introduce Qiana, a logic framework for reasoning on formulas that are true only in specific contexts. In Qiana, it is possible to quantify over both formulas and contexts to express, e.g., that ``everyone knows everything Alice says''. Qiana also permits paraconsistent logics within contexts, so that contexts can contain contradictions. Furthermore, Qiana is based on first-order logic, and is finitely axiomatizable, so that Qiana theories are compatible with pre-existing first-order logic theorem provers.
APA, Harvard, Vancouver, ISO, and other styles
3

Arieli, Ofer, Kees van Berkel, Badran Raddaoui, and Christian Strasser. "Deontic Reasoning Based on Inconsistency Measures." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/7.

Full text
Abstract:
Conflicts are inherent to normative systems. In this paper, we explore a novel approach to normative reasoning by quantifying the amount of conflicts within normative systems. We refine the idea from classical logic, according to which a formula is a consequence of a knowledge base in case its negation renders the knowledge base inconsistent. In our approach, whether a formula is a logical consequence depends, for instance, on its negation's marginal contribution to the inconsistency of the given knowledge base. Accordingly, various inconsistency measures and corresponding (nonmonotonic and pa
APA, Harvard, Vancouver, ISO, and other styles
4

Pluska, Alexander, Pascal Welke, Thomas Gärtner, and Sagar Malhotra. "Logical Distillation of Graph Neural Networks." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/86.

Full text
Abstract:
We present a logic based interpretable model for learning on graphs and an algorithm to distill this model from a Graph Neural Network (GNN). Recent results have shown connections between the expressivity of GNNs and the two-variable fragment of first-order logic with counting quantifiers (C2). We introduce a decision-tree based model which leverages an extension of C2 to distill interpretable logical classifiers from GNNs. We test our approach on multiple GNN architectures. The distilled models are interpretable, succinct, and attain similar accuracy to the underlying GNN. Furthermore, when t
APA, Harvard, Vancouver, ISO, and other styles
5

Gómez Álvarez, Lucía, and Sebastian Rudolph. "Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/36.

Full text
Abstract:
Standpoint logic is a recently proposed modal logic framework that is well-suited for multiperspective reasoning and ontology integration. For this reason, combinations of standpoint logic with description logics (DLs) are of special interest. Prior work has shown that it is possible to add standpoints to numerous decidable fragments of first-order logics - including very expressive DLs up to SROIQbs - while preserving their reasoning complexity, so long as standpoint modalities are limited to the axiom level. A more expressive tighter modal integration, where standpoint modalities are also al
APA, Harvard, Vancouver, ISO, and other styles
6

Cabalar, Pedro, Thomas Eiter, and Davide Soldà. "Contracted Temporal Equilibrium Logic." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/21.

Full text
Abstract:
The stable model semantics of logic programs has been characterized by Equilibrium Logic, which is a non-monotonic formalism that selects models from the (monotonic) intermediate logic of Here-and-There. It provides stable models for arbitrary propositional formulas and has been fruitfully extended to different modal languages. Among them are theories in the syntax of Linear-Time Temporal Logic (LTL), giving rise to Temporal Equilibrium logic (TEL) based on Temporal Here-and-There (THT). In TEL, models are selected that minimize truth among THT traces of the same length. In this paper, we cons
APA, Harvard, Vancouver, ISO, and other styles
7

Favorskaya, A., A. Kabanova, and I. Petrov. "Applying Wave Logica Method for Geophysical Prospecting." In Geomodel 2018. EAGE Publications BV, 2018. http://dx.doi.org/10.3997/2214-4609.201802377.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

José Dias da Cunha, Cristóvão, SUELEN CRISTIAN DE FREITAS MORAIS, Thamyres Machado David, Rubens Alves Dias, and Paloma Maria Silva Rocha Rizol. "Desmistificando a Logica Fuzzy Tipo-2 Intervalar." In Congresso Brasileiro de Educação em Engenharia. Associação Brasileira de Educação em Engenharia, 2023. http://dx.doi.org/10.37702/2175-957x.cobenge.2023.4688.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Rivers, Rod. "Human computer interaction division Logica Cambridge LTD., UK." In the SIGCHI conference. ACM Press, 1991. http://dx.doi.org/10.1145/108844.109013.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Costaguta, Rosanna, Guillermo Augusto Durán Boneth, and Dewar Rico-Bautista. "ANN-based Prototype for the Prediction of CO2 Pollution Levels: Eco-Logica." In 22nd LACCEI International Multi-Conference for Engineering, Education and Technology (LACCEI 2024): “Sustainable Engineering for a Diverse, Equitable, and Inclusive Future at the Service of Education, Research, and Industry for a Society 5.0.”. Latin American and Caribbean Consortium of Engineering Institutions, 2024. http://dx.doi.org/10.18687/laccei2024.1.1.1652.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logica"

1

Lutz, Carsten. TheComplexity of Reasoning with Concrete Domains (Revised Version). Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.88.

Full text
Abstract:
Description logics are knowledge representation and reasoning formalisms which represent conceptual knowledge on an abstract logical level. Concrete domains are a theoretically well-founded approach to the integration of description logic reasoning with reasoning about concrete objects such as numbers, time intervals or spatial regions. In this paper, the complexity of combined reasoning with description logcis and on concrete domains is investigated. We extend ALC(D), which is the basic description logic for reasoning with concrete domains, by the operators 'feature agreement' and 'feature di
APA, Harvard, Vancouver, ISO, and other styles
2

Borgwardt, Stefan, Marco Cerami, and Rafael Peñaloza. Subsumption in Finitely Valued Fuzzy EL. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.212.

Full text
Abstract:
Aus der Einleitung: Description Logics (DLs) are a family of knowledge representation formalisms that are successfully applied in many application domains. They provide the logical foundation for the Direct Semantics of the standard web ontology language OWL2. The light-weight DL EL, underlying the OWL2 EL profile, is of particular interest since all common reasoning problems are polynomial in this logic, and it is used in many prominent biomedical ontologies like SNOMEDCT and the Gene Ontology.
APA, Harvard, Vancouver, ISO, and other styles
3

Lutz, Carsten, and Ulrike Sattler. The Complexity of Reasoning with Boolean Modal Logics (Extended Version). Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.105.

Full text
Abstract:
Since Modal Logics are an extension of Propositional Logic, they provide Boolean operators for constructing complex formulae. However, most Modal Logics do not admit Boolean operators for constructing complex modal parameters to be used in the box and diamond operators. This asymmetry is not present in Boolean Modal Logics, in which box and diamond quantify over arbitrary Boolean combinations of atomic model parameters.
APA, Harvard, Vancouver, ISO, and other styles
4

Obua, Steven. Abstraction Logic. Recursive Mind, 2021. http://dx.doi.org/10.47757/abstraction.logic.2.

Full text
Abstract:
Abstraction Logic is introduced as a foundation for Practical Types and Practal. It combines the simplicity of first-order logic with direct support for variable binding constants called abstractions. It also allows free variables to depend on parameters, which means that first-order axiom schemata can be encoded as simple axioms. Conceptually abstraction logic is situated between first-order logic and second-order logic. It is sound with respect to an intuitive and simple algebraic semantics. Completeness holds for both intuitionistic and classical abstraction logic, and all abstraction logics i
APA, Harvard, Vancouver, ISO, and other styles
5

Lutz, Carsten, and Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.

Full text
Abstract:
The eight topological RCC8(or Egenhofer-Franzosa)- relations between spatial regions play a fundamental role in spatial reasoning, spatial and constraint databases, and geographical information systems. In analogy with Halpern and Shoham’s modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the RCC8-relations. The semantics is based on region spaces induced by standard topological spaces, in particular the real plane. We investigate the expressive power and computational complexity of the
APA, Harvard, Vancouver, ISO, and other styles
6

Baader, Franz, and Anton Claußnitzer. Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count Extended Version. Technische Universität Dresden, 2025. https://doi.org/10.25368/2025.015.

Full text
Abstract:
In previous work it was shown that the logic ALC^ME , which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference. Here, we extend this result from the base logic ALC to two logics that can count, the two-variable fragment C2 of first-order logic (FOL) with counting quantifiers, and the DL ALCSCC, which is not a fragment of FOL. As an auxiliary result, we prove that model counting in ALCSCC can be realized in a domain-liftable way.
APA, Harvard, Vancouver, ISO, and other styles
7

Lutz, Carsten. NExpTime-complete Description Logics with Concrete Domains. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.104.

Full text
Abstract:
Aus der Einleitung: Description logics (DLs) are a family of logical formalisms well-suited for the representation of and reasoning about conceptual knowledge on an abstract logical level. However, for many knowledge representation applications, it is essential to integrate the abstract logical knowledge with knowledge of a more concrete nature. As an example, consider the modeling of manufacturing processes, where it is necessary to represent 'abstract' entities like subprocesses and workpieces and also 'concrete' knowledge, e.g., about the duration of processes and physical dimensions of the
APA, Harvard, Vancouver, ISO, and other styles
8

Hirsch, Colin, and Stephan Tobies. A Tableau Algorithm for the Clique Guarded Fragment. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.106.

Full text
Abstract:
Aus der Einleitung: The Guarded Fragment of first-order logic, introduced by Andréka, van Benthem, and Németi, has been a succesful attempt to transfer many good properties of modal, temporal, and description logics to a larger fragment of predicate logic. Among these are decidability, the finite modal property, invariance under an appropriate variant of bisimulation, and other nice modal theoretic properties.
APA, Harvard, Vancouver, ISO, and other styles
9

Borgwardt, Stefan, Marcel Lippmann, and Veronika Thost. Reasoning with Temporal Properties over Axioms of DL-Lite. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.208.

Full text
Abstract:
Recently, a lot of research has combined description logics (DLs) of the DL-Lite family with temporal formalisms. Such logics are proposed to be used for situation recognition and temporalized ontology-based data access. In this report, we consider DL-Lite-LTL, in which axioms formulated in a member of the DL-Lite family are combined using the operators of propositional linear-time temporal logic (LTL). We consider the satisfiability problem of this logic in the presence of so-called rigid symbols whose interpretation does not change over time. In contrast to more expressive temporalized DLs,
APA, Harvard, Vancouver, ISO, and other styles
10

Borgwardt, Stefan, Felix Distel, and Rafael Peñaloza. Gödel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.199.

Full text
Abstract:
In the last few years there has been a large effort for analysing the computational properties of reasoning in fuzzy Description Logics. This has led to a number of papers studying the complexity of these logics, depending on their chosen semantics. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity of reasoning in fuzzy DLs w.r.t. witnessed models over the Gödel t-norm. We show that in the logic G-IALC, reasoning cannot be restricted to finitely valued models in general. Despite this negative result, we also show that all the stan
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Logica' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography