Thematische Bibliographien / Logica

Inhaltsverzeichnis

  1. Zeitschriftenartikel
  2. Dissertationen
  3. Bücher
  4. Buchteile
  5. Konferenzberichte
  6. Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „Logica“

Autor: Grafiati
Veröffentlicht am 4. Juni 2021
Zuletzt aktualisiert am 26. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Logica" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
5

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
7

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
Mehr Quellen

Dissertationen zum Thema "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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
2

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
3

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

Den vollen Inhalt der Quelle finden
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
7

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
8

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
9

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
Mehr Quellen

Bücher zum Thema "Logica"

1

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Franciscus, de Prato. Logica. Steiner, 2002.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Buchteile zum Thema "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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

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

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
4

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
5

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
7

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
Die Auswahlen zum Thema "Logica" für konkrete Quellenarten können Sie auch interessieren:
Zeitschriftenartikel Dissertationen Bücher
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie