Model-Based Safety and Assessment

Authors: Panagiotis Katsaros

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical--Congresses, Computers, Special purpose--Congresses, Computer science--Congresses, Software engineering--Congresses, Computer logic--Congresses, Algorithms--Congresses

Categories: COMPUTERS / Computer Architecture

Rules and Reasoning

Authors: Aidan Hogan, Ken Satoh, Hasan Dağ, Anni-Yasmin Turhan, Dumitru Roman

Resource Type: eBook.

Subjects: Logic programming--Congresses, Software engineering--Congresses, Computer logic--Congresses, Rule-based programming--Congresses, Information technology--Management, Natural language processing (Computer science), Expert systems (Computer science), Database management, Logic programming

Categories: COMPUTERS / Computer Science

Artificial Intelligence Logic and Applications : 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings

Authors: Songmao Zhang, Luis Soares Barbosa

Resource Type: eBook.

Subjects: Computer logic--Congresses, Artificial intelligence--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied

Reversible Computation

Authors: Robert Glück, Robin Kaarsgaard

Resource Type: eBook.

Subjects: Computer logic--Congresses, Computer science--Mathematics--Congresses, Reversible computing--Congresses

Categories: COMPUTERS / Logic Design

Analytical and Stochastic Modelling Techniques and Applications

Authors: Arnaud Devos, András Horváth, Sabina Rossi

Resource Type: eBook.

Subjects: Stochastic processes--Congresses, Software engineering--Congresses, Computer logic--Congresses, Computer science--Congresses, Computer system failures--Congresses, Computer simulation--Congresses, Computer science--Mathematics--Congresses, Mathematical statistics--Congresses, Artificial intelligence--Congresses

Categories: COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Security / General, COMPUTERS / Hardware / General, MATHEMATICS / Probability & Statistics / General

Logic and Its Applications

Authors: C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava

Resource Type: eBook.

Subjects: Language and logic--Congresses, Computer logic--Congresses, Logic--Congresses

Categories: COMPUTERS / Computer Science

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Authors: Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt

Resource Type: eBook.

Subjects: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Authors: Jasmin Blanchette, Laura Kovács, Dirk Pattinson

Resource Type: eBook.

Subjects: Automatic theorem proving--Congresses, Computer logic--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Authors: Barbara Gallina, Amund Skavhaug, Friedemann Bitsch

Resource Type: eBook.

Subjects: Computer networks, Application software--Security measures--Congresses, Computer logic--Congresses, Computer organization--Congresses, Computer security--Congresses, Programming languages (Electronic computers)--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Security / General, COMPUTERS / Hardware / General

Applications of Computer Algebra : Kalamata, Greece, July 20–23 2015

Authors: Ilias S. Kotsireas, Edgar Martínez-Moro

Resource Type: eBook.

Subjects: Computer logic--Congresses, Computer science--Mathematics--Congresses

Categories: MATHEMATICS / Algebra / Abstract, COMPUTERS / Information Theory, MATHEMATICS / Applied, MATHEMATICS / Geometry / Algebraic

Foundations of Information and Knowledge Systems

Authors: Christoph Beierle, Carlo Meghini

Resource Type: eBook.

Subjects: Computer systems--Congresses, Information technology--Congresses, Database design--Congresses, Computer logic--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics

Theory and Applications of Formal Argumentation

Authors: Elizabeth Black, Sanjay Modgil, Nir Oren

Resource Type: eBook.

Subjects: Kongress--2013.--Peking, Conference papers and proceedings, Formal methods (Computer science)--Congresses, Computer logic--Congresses, Artificial intelligence--Congresses, Artificial intelligence, Computer logic, Formal methods (Computer science), Argumentation, Formale Methode

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Authors: Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz

Resource Type: eBook.

Subjects: Kongress--2013.--Darmstadt, Conference proceedings, Computer logic--Congresses, Logic, Symbolic and mathematical--Congresses, Computer logic, Logic, Symbolic and mathematical, Berechnungstheorie, Formale Grammatik, Formale Methode, Formale Syntax

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Algebra / General

Reversible Computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

Authors: Robert Glück, Tetsuo Yokoyama

Resource Type: eBook.

Subjects: Reversible computing--Congresses, Computer logic--Congresses, Computer science--Mathematics--Congresses

Categories: COMPUTERS / Logic Design, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Reversible Computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Authors: Gerhard W. Dueck, D. Michael Miller

Resource Type: eBook.

Subjects: Reversible computing--Congresses, Computer logic--Congresses, Computer science--Mathematics--Congresses

Categories: COMPUTERS / Logic Design, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Authors: Sergei Artemov, Anil Nerode

Resource Type: eBook.

Subjects: Logic, Computer science--Congresses, Computer logic--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Logic Design, MATHEMATICS / Logic

Logic, Language, Information, and Computation

Authors: Luke Ong, Ruy de Queiroz

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical--Congresses, Computer logic--Congresses

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Science, MATHEMATICS / Algebra / General, MATHEMATICS / Discrete Mathematics

Deontic Logic in Computer Science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings

Authors: Thomas Agotnes, Jan M. Broersen, Dag Elgesem

Resource Type: eBook.

Subjects: Computer logic--Congresses, Deontic logic--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Programming / General, MATHEMATICS / Discrete Mathematics

Argumentation in Multi-Agent Systems : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers

Authors: Peter McBurney, Simon Parsons, Iyad Rahwan

Resource Type: eBook.

Subjects: Conference proceedings, Multiagent systems--Congresses, Computer logic--Congresses, Computer logic, Multiagent systems

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Image Processing, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Networking / General

Theory and Applications of Formal Argumentation

Authors: Sanjay Modgil, Nir Oren, Francesca Toni

Resource Type: eBook.

Subjects: Formal methods (Computer science)--Congresses, Computer logic--Congresses, Artificial intelligence--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Networking / General, COMPUTERS / Social Aspects, LAW / General, MATHEMATICS / Probability & Statistics / General