Výsledky vyhledávání - logic programming and answer site programming

A Logic Programming Approach to Global Logistics in a Co-Design Environment

Autoři: Dietz, Emmanuelle Philipp, Tobias Schramm, Gerrit a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 385:227-240

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Databases, Computer Science - Artificial Intelligence, Databases (cs.DB), Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2308.15892

Mathematical Aspects of Logic Programming Semantics

Autoři: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Témata: Logic programming, Programming languages (Electronic computers)--Semantics

Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy

Programming Creativity : Semantics and Organisation of Creativity Within IT Enterprises

Autoři: Jan Sebastian Zipp

Resource Type: eBook.

Témata: Creative ability in business, Information technology--Philosophy, Information technology--Technological innovations, Communication--Technological innovations

Categories: SOCIAL SCIENCE / Popular Culture, BUSINESS & ECONOMICS / Industries / Computers & Information Technology, SOCIAL SCIENCE / Technology Studies

Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Autoři: Patricia M. Hill David S. Warren

Resource Type: eBook.

Témata: Computer science, Compilers (Computer programs), Computer programming, Computer science—Mathematics, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, MATHEMATICS / Applied

AI IS TRANSFORMING EDUCATION TECHNOLOGY AND EDUCATION SYSTEM IN INDIA.

Autoři: Kamala, Kandi Kamalakar, Gedam

Zdroj: Indian Journal of Social Research; May-Aug2023, Vol. 64 Issue 3/4, p99-110, 12p

Témata: DECISION making in political science, ARTIFICIAL intelligence, TECHNOLOGY education, LOGIC programming, INDUSTRIAL relations

Geografický termín: INDIA

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

Autoři: Veronica Dahl Ilkka Niemelä

Zdroj: Lecture Notes in Computer Science ISBN: 9783540746089

Témata: 7. Clean energy

Přístupová URL adresa: http://ci.nii.ac.jp/ncid/BA8321227X

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

LOG-IDEAH: LOGic trees for identification of damage due to earthquakes for architectural heritage.

Autoři: Novelli, V. D'Ayala, D.

Zdroj: Bulletin of Earthquake Engineering. Jan2015, Vol. 13 Issue 1, p153-176. 24p.

Témata: *EARTHQUAKE damage, *EARTHQUAKES, *EARTHQUAKE hazard analysis, *MASONRY

Foundations of Fuzzy Logic and Semantic Web Languages

Autoři: Umberto Straccia

Resource Type: eBook.

Témata: Semantic Web, Programming languages (Electronic computers), Fuzzy logic

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Internet / General

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings

Autoři: Sarah Gaggl Maria Vanina Martinez Magdalena Ortiz

Resource Type: eBook.

Témata: Artificial intelligence, Application software, Computers, Special purpose, Computer science, Machine theory, Computer programming

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoři: Thomas Wies

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autoři: Ilya Sergey

Resource Type: eBook.

Témata: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Logics in Artificial Intelligence : 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings

Autoři: Wolfgang Faber Gerhard Friedrich Martin Gebser a další

Resource Type: eBook.

Témata: Artificial intelligence, Application software, Computers, Special purpose, Computer science, Machine theory, Computer programming

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autoři: Nobuko Yoshida

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autoři: Peter Müller

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Applications of Declarative Programming and Knowledge Management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

Autoři: Hans Tompits Salvador Abreu Johannes Oetsch a další

Resource Type: eBook.

Témata: Declarative programming--Congresses, Knowledge management--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / General

Digitalising behavioural data collection through cloud-based technology in veterinary science and beyond.

Autoři: Braghetti, Michelle Vichman, Liat Farhat, Nareed a další

Zdroj: Frontiers in Veterinary Science. 2025, p1-12. 12p.

Agile Processes in Software Engineering and Extreme Programming – Workshops : XP 2024 Workshops, Bozen-Bolzano, Italy, June 4–7, 2024, Revised Selected Papers

Autoři: Lodovica Marchesi Alfredo Goldman Maria Ilaria Lunesu a další

Resource Type: eBook.

Témata: Agile software development--Congresses, eXtreme programming--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems, EDUCATION / Computers & Technology