Keresési eredmények

1

Logics for artificial intelligence

Logics for artificial intelligence

Szerző: Turner, Raymond
Megjelenés: 1985

könyv

2

The logic of information structures

The logic of information structures

Szerző: Wansing, Heinrich
Megjelenés: 1993

könyv

3

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

4

Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

5

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice...

Megjelenés: 2019

Ugrás a forráshoz

könyv

6

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

7

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Megjelenés: 2019

Ugrás a forráshoz

könyv

8

Software Engineering and Methodology for Emerging Domains : 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Software Engineering and Methodology for Emerging Domains : 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenz...

Megjelenés: 2019

Ugrás a forráshoz

könyv

9

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

10

Reasoning Web. Explainable Artificial Intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

Reasoning Web. Explainable Artificial Intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

Megjelenés: 2019

Ugrás a forráshoz

könyv

11

Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

12

Modeling Decisions for Artificial Intelligence : 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

Modeling Decisions for Artificial Intelligence : 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

13

Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

14

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Megjelenés: 2020

Ugrás a forráshoz

könyv

15

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Megjelenés: 2020

Ugrás a forráshoz

könyv

16

Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings

Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings

Megjelenés: 2020

Ugrás a forráshoz

könyv

17

Chinese Lexical Semantics : 20th Workshop, CLSW 2019, Beijing, China, June 28–30, 2019, Revised Selected Papers

Chinese Lexical Semantics : 20th Workshop, CLSW 2019, Beijing, China, June 28–30, 2019, Revised Selected Papers

Megjelenés: 2020

Ugrás a forráshoz

könyv

18

Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revise...

Megjelenés: 2020

Ugrás a forráshoz

könyv

19

Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Megjelenés: 2019

Ugrás a forráshoz

könyv

20

Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Megjelenés: 2019

Ugrás a forráshoz

könyv