The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic /

The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic /

The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts, judgements, and conclusions. Concepts are mathematized using Formal Concept Analysis (FCA), while an approach to the formalization of judgements and conclusions is conceptual g...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Dau, Frithjof (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Έκδοση:	1st ed. 2003.
Σειρά:	Lecture Notes in Computer Science, 2892
Θέματα:	Mathematical logic. Artificial intelligence. Computer science. Computer science-Mathematics. Mathematical Logic and Foundations. Artificial Intelligence. Computer Science, general. Mathematical Logic and Formal Languages. Discrete Mathematics in Computer Science.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Logic Functions and Equations Binary Models for Computer Science /
ανά: Posthoff, Christian, κ.ά.
Έκδοση: (2019)

Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
Έκδοση: (1998)

Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
Έκδοση: (1999)

Logics for Computer Science Classical and Non-Classical /
ανά: Wasilewska, Anita, κ.ά.
Έκδοση: (2018)

Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /
Έκδοση: (2003)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /
Έκδοση: (1997)

Conceptual Structures: Standards and Practices 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings /
Έκδοση: (1999)

Conceptual Structures: Broadening the Base 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings /
Έκδοση: (2001)

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (2018)

Beyond Two: Theory and Applications of Multiple-Valued Logic
Έκδοση: (2003)

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (2018)

Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings /
Έκδοση: (2000)

Conceptual Structures: Integration and Interfaces 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings /
Έκδοση: (2002)

Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings /
Έκδοση: (2004)

Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /
Έκδοση: (2002)

Logics in Artificial Intelligence European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 Proceedings /
Έκδοση: (1998)

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
Έκδοση: (2019)

Towards Efficient Fuzzy Information Processing Using the Principle of Information Diffusion /
ανά: Huang, Chongfu, κ.ά.
Έκδοση: (2002)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings /
Έκδοση: (2003)

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
Έκδοση: (2019)

Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
Έκδοση: (2002)

Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
Έκδοση: (2000)

Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
Έκδοση: (1997)

Conceptual Structures: Logical, Linguistic, and Computational Issues 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings /
Έκδοση: (2000)

Computer Science - Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings /
Έκδοση: (2019)

Theory Reasoning in Connection Calculi
ανά: Baumgartner, Peter, κ.ά.
Έκδοση: (1998)

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3-7, 2019, Proceedings /
Έκδοση: (2019)

Challenges for Action Theories
ανά: Thielscher, Michael, κ.ά.
Έκδοση: (2000)

Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings /
Έκδοση: (2000)

Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
Έκδοση: (2001)

Unifying Petri Nets Advances in Petri Nets /
Έκδοση: (2001)

Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
Έκδοση: (2000)

Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
Έκδοση: (1999)

Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings /
Έκδοση: (2001)

Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /
Έκδοση: (2002)

Inductive Logic Programming 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings /
Έκδοση: (2003)

Automata Implementation Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers /
Έκδοση: (1999)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings /
Έκδοση: (2003)

Conceptual Structures for Knowledge Creation and Communication 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings /
Έκδοση: (2003)

Types for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers /
Έκδοση: (2000)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών