Logic programming.
Overview
| Works: | 49 works in 12 publications in 12 languages | |
|---|---|---|
Titles
Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings /
by:
(Language materials, printed)
Introducing Robotic Process Automation to Your Organization = A Guide for Business Leaders /
by:
(Language materials, printed)
New Developments in Legal Reasoning and Logic = From Ancient Law to Modern Legal Systems /
by:
(Language materials, printed)
Language, Logic, and Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Five-Layer Intelligence of the Machine Brain = System Modelling and Simulation /
by:
(Language materials, printed)
Coalgebraic Methods in Computer Science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings /
by:
(Language materials, printed)
Foundations of Information and Knowledge Systems = 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Software Engineering = 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings /
by:
(Language materials, printed)
Implementation and Application of Automata = 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings /
by:
(Language materials, printed)
Rules and Reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings /
by:
(Language materials, printed)
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
by:
(Language materials, printed)
A Journey from Process Algebra via Timed Automata to Model Learning = Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings /
by:
(Language materials, printed)
Rules and Reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(Language materials, printed)
Implementation and Application of Automata = 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings /
by:
(Language materials, printed)
Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings /
by:
(Language materials, printed)
Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 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, Part I /
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(Language materials, printed)
Probabilistic Inductive Logic Programming = Theory and Applications /
by:
(Language materials, printed)
Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
by:
(Language materials, printed)
Uncertainty treatment using paraconsistent logic = introducing paraconsistent artificial neural networks /
by:
(Language materials, printed)
Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers /
by:
(Language materials, printed)
Correct reasoning = essays on logic-based AI in honour of Vladimir Lifschitz /
by:
(Language materials, printed)
Logic programs, norms and action = essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
by:
(Language materials, printed)
Answer set programming for continuous domains = a fuzzy logic approach /
by:
(Language materials, printed)
Program development in computational logic = a decade of research advances in logic-based program development /
by:
(Language materials, printed)
A defeasible logic programming-based framework to support argumentation in semantic web applications
by:
(Language materials, printed)
Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
(Language materials, printed)
Reversible logic synthesis methodologies with application to quantum computing
by:
(Language materials, printed)
Show more
Fewer
Subjects