Search results

Create the page "Logic programming" on this wiki! See also the search results found.

• AIMSA 2008
  - Logic and constraint programming
  6 KB (827 words) - 23:04, 14 October 2008
• KR 2008
  ...ng about actions and change, Action languages, Situation calculus, Dynamic logic Logic programming, Constraint logic programming, Answer set programming
  3 KB (430 words) - 16:44, 4 November 2016
• CiE 2008
  |Title=Computability in Europe 2008: Logic and Theory of Algorithms Computability in Europe 2008: Logic and Theory of Algorithms
  5 KB (619 words) - 18:06, 10 February 2021
• CLP 2008
  ...based reasoning, constraint satisfaction technologies and constraint logic programming.
  3 KB (342 words) - 23:07, 14 October 2008
• CSLP 2008
  organized as part of the European Summer School on Logic, Language and technologies and constraint logic programming.
  5 KB (627 words) - 23:07, 14 October 2008
• OntoImage 2008
  technologies and constraint logic programming.
  5 KB (637 words) - 23:07, 14 October 2008
• TCS 2008
  Computation, and Track B on Logic, Semantics, Specification Track B - Logic, Semantics, Specification and
  5 KB (698 words) - 23:08, 14 October 2008
• TWOMDE 2008
  technologies: integration approaches like aspect-oriented programming to technologies, for example OWL, SWRL, F-Logic.
  8 KB (994 words) - 23:09, 14 October 2008
• SEBD 2008
  QUERYING AND PROGRAMMING LANGUAGES § Database Programming Language
  3 KB (305 words) - 08:44, 31 July 2020
• LID 2008
  | Title = Logic in Databases ********** 1st Symposium on Logic in Databases (LID 2008) ************
  5 KB (647 words) - 23:10, 14 October 2008
• ALPSWS 2008
  | Title = Third International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services Logic Programming to the (Semantic) Web and Web Services
  6 KB (865 words) - 23:13, 14 October 2008
• ICITA 2008
  Fuzzy logic and Reasoning Programming Tools and Compilers
  3 KB (427 words) - 17:01, 29 May 2016
• ADCSS 2008
  ...ines as well as checking tools exist but not yet matured. The semantics of programming like C or Ada are well defined by independent standards (e.g. ANSI). The se ...), while software models can represent software failure modes and recovery logic. Model checking allows verifying if a system feared event can originate fro
  18 KB (2,714 words) - 23:23, 14 October 2008
• LEARN 2009
  Inductive Logic Programming
  5 KB (569 words) - 23:21, 14 October 2008
• LICS 2008
  |Title=23rd Annual IEEE Symposium on Logic in Computer Science |Field=Logic
  2 KB (285 words) - 15:11, 7 November 2016
• ISMVL 2008
  | Title = 38th IEEE International Symposium on Multiple-Valued Logic | Field = Logic
  2 KB (288 words) - 23:24, 14 October 2008
• ATAI 2011
  Fuzzy logic and soft computing Languages and programming techniques for AI
  3 KB (397 words) - 10:23, 24 June 2011
• ESOP 2009
  | Title = 18th European Symposium on Programming | Field = Programming languages
  6 KB (824 words) - 23:32, 14 October 2008
• PPDP 2008
  | Title = Principles and Practice of Declarative Programming | Field = Programming languages
  4 KB (451 words) - 23:32, 14 October 2008
• ILP 2020
  |Title=International Conference on Inductive Logic Programming
  502 bytes (59 words) - 11:42, 31 March 2020

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)