„Logic Programming“

Suchergebnisse

2.836 Treffer

• Synthesized and inherited functions – A new computational model for syntax-directed semantics
  Kühnemann, Armin ; Vogler, Heiko
• Partial (set) 2-structures – Part I: basic notions and the representation problem
  Ehrenfeucht, A. ; Rozenberg, Grzegorz
• Semantics in data and knowledge bases – 5th international workshop ; revised selected papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)
  De Raedt, Luc ; Evans, Richard ; Muggleton, Stephen H. ; Schmid, Ute
• Multi-valued Logic for Decision-Making Under Uncertainty
  Kagan, Evgeny ; Rybalov, Alexander ; Yager, Ronald R. 2025 Springer Nature Switzerland, Imprint: Birkhäuser
• Optimal multiprogramming
  Denning, Peter J. ; Kahn, Kevin C. ; Leroudier, Jacques ; Potier, Dominique ; Suri, Rajan
• 19th Workshop on (Constraint) Logic Programming W(C)LP 2005
  Wolf, Armin ; Frühwirth, Thom ; Meister, Marc 2005 Universität Ulm. Fakultät für Informatik
• A decomposition theorem for finite persistent transition systems
  Best, Eike ; Darondeau, Philippe
• Decision problems for pushdown threads
  Bergstra, Jan A. ; Bethke, Inge ; Ponse, Alban
• Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)
  Comon, Hubert ; Ganzinger, Harald ; Kirchner, Claude ; Kirchner, Hélène ; Lassez, Jean-Louis ; Smolka, Gert 1992 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Axiomatic approach to total correctness of programs
  Manna, Zohar ; Pnueli, Amir
• Visualization of bipartite graphs in limited window size
  Efrat, Alon ; Evans, William ; Köck, Kassian ; Kobourov, Stephen ; Miller, Jacob
• Constraint Logic Programming and Integer Programming approaches and their collaboration in solving an assignment scheduling problem
  Darby-Dowman, Ken ; Little, James ; Mitra, Gautam ; Zaffalon, Marco
• On the cost–effectiveness of PRAMs
  Abolhassan, Ferri ; Keller, Jörg ; Paul, Wolfgang J.
• Fuzzy logic programming based knowledge analysis for qualitative comparative analysis
  Kachroo, Pushkin ; Krishen, Anjala ; Agarwal, Shaurya
• The Simple Generative Logic Grammar: A tool for teaching logical thinking through visual research in art and design
  Jendreiko, Christian ; Azzolini, Damiano ; Batsakis, Sotirios ; Borroto Santana, Manuel Alejandro ; Bruno, Pierangela ; Cecchi, Laura A. ; Fandinno, Jorge ; Hecher, Markus ; Maratea, Marco ; Morales, José F. ; Muñiz, Brais ; Papadakis, Emmanuel ; Robaldo, Livio ; Serafini, Luciano ; Lo Scudo, Fbrizio ; Tachmazidis, Ilias ; Tarzariol, Alice ; Vallati, Mauro ; Wyner, Adam 2025 Hochschule Düsseldorf
• Generative Logic: Teaching Prolog as Generative AI in Art and Design
  Jendreiko, Christian ; Arias, Joaquín ; Azzolini, Damiano ; Basu, Kinjal ; Dahl, Veronica ; Hecher, Markus ; Pacenza, Francesco ; Saribatur, Zeynep ; Varanasi, Sarat C. 2024 Hochschule Düsseldorf
• Deciding floating-point logic with abstract conflict driven clause learning
  Brain, Martin ; D’Silva, Vijay ; Griggio, Alberto ; Haller, Leopold ; Kroening, Daniel
• The RatioLog Project: Rational Extensions of Logical Reasoning
  Furbach, Ulrich ; Schon, Claudia ; Stolzenburg, Frieder ; Weis, Karl-Heinz ; Wirth, Claus-Peter
• Semantics in Data and Knowledge Bases – 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer Berlin Heidelberg