Search results

Jump to: navigation, search

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

  • SAC 2009 Programming Languages
    | Title=SAC'09 - Technical Track on "Programming Languages ...guages. Original papers and experience reports are invited in all areas of programming languages.
    4 KB (568 words) - 20:02, 20 August 2008
  • DL-Learner
    | Programming language = Java ...lasses in OWL ontologies from selected objects. It extends Inductive Logic Programming to Descriptions Logics and the Semantic Web. The goal of DL-Learner is to p
    898 bytes (117 words) - 19:16, 20 September 2009
  • ICDT 2009
    ...abases and knowledge bases; Distributed databases; Integrity and security; Logic and databases; Multimedia databases; Query optimization; Query processing;
    5 KB (753 words) - 18:59, 25 June 2012
  • VSTTE 2008
    Practical Predicative Programming Primer Modal Logic
    5 KB (686 words) - 12:27, 12 September 2008
  • CISIS 2009
    * Fuzzy Logic and Fuzzy Systems * Genetic Programming and Algorithms
    13 KB (1,706 words) - 16:34, 27 December 2015
  • DAMP 2009
    |Title=Workshop on Declarative Aspects of Multicore Programming |Field=Programming paradigms
    2 KB (302 words) - 15:13, 25 September 2008
  • DAMP 2008
    |Title=Workshop on Declarative Aspects of Multicore Programming 2008 |Field=Programming paradigms
    6 KB (701 words) - 14:43, 25 September 2008
  • DAMP 2007
    |Title=Workshop on Declarative Aspects of Multicore Programming 2007 |Field=Programming paradigms
    5 KB (752 words) - 14:50, 25 September 2008
  • DAMP 2006
    |Title=Declarative Programming Languages for Multicore Architectures 2006 |Field=Programming paradigms
    4 KB (471 words) - 15:12, 25 September 2008
  • CP
    .../~ai/cp/|International Conference on Principles and Practice of Constraint Programming]] (CP) is a [[Category:Conference series]] conference series covering the f ...irteenth International Conference on Principles and Practice of Constraint Programming, September 23-27, Providence, RI, USA, Springer Lecture Notes in Computer S
    4 KB (540 words) - 09:57, 24 May 2019
  • LPNMR
    [[LPNMR]] stands for "International Conference on Logic Programming and Nonmonotonic Reasoning"
    495 bytes (50 words) - 20:12, 14 October 2008
  • IMS 2009
    * Multivalued Logic * Uncertain Logic
    8 KB (1,068 words) - 21:43, 26 February 2011
  • LPNMR 2009
    |Title=10th International Conference on Logic Programming and Nonmonotonic Reasoning 10th International Conference on Logic Programming and Nonmonotonic Reasoning
    7 KB (945 words) - 20:07, 14 October 2008
  • ICEIS 2008
    Advanced Applications of Fuzzy Logic Evolutionary Programming
    9 KB (1,240 words) - 22:56, 14 October 2008
  • WoLLIC 2008
    | Title = 15th Workshop on Logic, Language, Information and Computation | Field = Logic
    5 KB (639 words) - 23:00, 14 October 2008
  • IJCNN 2009
    ...bolic, neuro-fuzzy,neuro-evolutionary systems, neuro-swarm, neural dynamic logic and other methods * Adaptive dynamic programming and neurodynamic optimization
    2 KB (199 words) - 18:55, 7 March 2020
  • ASPOCP 2008
    | Title = Workshop on Answer Set Programming and Other Computing Paradigms Workshop on Answer Set Programming and Other Computing Paradigms
    5 KB (645 words) - 23:04, 14 October 2008
  • FLOW 2008
    | Title = First International Workshop on Fuzzy Logic On the Web or Logic Programming. However, fuzzy logic is inherently better
    5 KB (696 words) - 18:29, 8 November 2008
  • ICAART 2009
    - Logic Programming - Programming Environments and Languages
    18 KB (2,457 words) - 23:04, 14 October 2008
  • LPAR 2008
    |Title=15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ...wned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to d
    5 KB (799 words) - 21:49, 26 February 2020
  • 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
  • LICS 2020
    |Title=35th Annual ACM/IEEE Symposium on Logic in Computer Science The 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 8–11 July 2020
    5 KB (656 words) - 11:29, 27 August 2020
  • IWLS 2008
    | Title = 17th International Workshop on Logic and Synthesis The International Workshop on Logic and Synthesis provides a forum for research in synthesis, optimization, and
    3 KB (399 words) - 23:36, 14 October 2008
  • DEON 2008
    | Title = Ninth International Conference on Deontic Logic in Computer Science ...sible normative reasoning, the logic of action, and other related areas of logic
    5 KB (587 words) - 23:37, 14 October 2008
  • LAPL 2009
    |Title=Workshop on Logics and Agent Programming Languages == WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES ==
    4 KB (586 words) - 01:27, 19 November 2008
  • DALT 2008
    * (constraint) logic programming approaches to agent systems * formal semantics for agent programming languages and frameworks
    8 KB (840 words) - 23:38, 14 October 2008
  • QAPL 2009
    |Title=Seventh Workshop on Quantitative Aspects of Programming Languages |Field=Programming languages
    6 KB (823 words) - 14:28, 14 December 2008
  • ICLP 2009
    |Title=25th International Conference on Logic Programming |Field=logic programming
    5 KB (680 words) - 23:55, 27 February 2020
  • MLG 2009
    * ILP-2009 - 19th International Conference on Inductive Logic Programming ...co-located: ILP-2009, the 19th International Conference on Inductive Logic Programming; MLG-2009, the 7th International Workshop on Mining and Learning with Graph
    4 KB (542 words) - 13:01, 18 January 2009
  • ILP 2009
    | Title = 19th International Conference on Inductive Logic Programming * ILP-2009 - 19th International Conference on Inductive Logic Programming
    4 KB (521 words) - 15:25, 23 July 2019
  • ILP
    |Title=International Conference on Inductive Logic Programming |Field=Logic
    138 bytes (19 words) - 12:05, 31 March 2020

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"