Search results

Jump to: navigation, search
  • | 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
  • | 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
  • ...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
  • Practical Predicative Programming Primer Modal Logic
    5 KB (686 words) - 12:27, 12 September 2008
  • * Fuzzy Logic and Fuzzy Systems * Genetic Programming and Algorithms
    13 KB (1,706 words) - 16:34, 27 December 2015
  • |Title=Workshop on Declarative Aspects of Multicore Programming |Field=Programming paradigms
    2 KB (302 words) - 15:13, 25 September 2008
  • |Title=Workshop on Declarative Aspects of Multicore Programming 2008 |Field=Programming paradigms
    6 KB (701 words) - 14:43, 25 September 2008
  • |Title=Workshop on Declarative Aspects of Multicore Programming 2007 |Field=Programming paradigms
    5 KB (752 words) - 14:50, 25 September 2008
  • |Title=Declarative Programming Languages for Multicore Architectures 2006 |Field=Programming paradigms
    4 KB (471 words) - 15:12, 25 September 2008
  • .../~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]] stands for "International Conference on Logic Programming and Nonmonotonic Reasoning"
    495 bytes (50 words) - 20:12, 14 October 2008
  • * Multivalued Logic * Uncertain Logic
    8 KB (1,068 words) - 21:43, 26 February 2011
  • |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
  • Advanced Applications of Fuzzy Logic Evolutionary Programming
    9 KB (1,240 words) - 22:56, 14 October 2008
  • | Title = 15th Workshop on Logic, Language, Information and Computation | Field = Logic
    5 KB (639 words) - 23:00, 14 October 2008
  • ...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
  • | 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
  • | 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
  • - Logic Programming - Programming Environments and Languages
    18 KB (2,457 words) - 23:04, 14 October 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
  • - Logic and constraint programming
    6 KB (827 words) - 23:04, 14 October 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
  • |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
  • ...based reasoning, constraint satisfaction technologies and constraint logic programming.
    3 KB (342 words) - 23:07, 14 October 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
  • technologies and constraint logic programming.
    5 KB (637 words) - 23:07, 14 October 2008
  • Computation, and Track B on Logic, Semantics, Specification Track B - Logic, Semantics, Specification and
    5 KB (698 words) - 23:08, 14 October 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
  • QUERYING AND PROGRAMMING LANGUAGES § Database Programming Language
    3 KB (305 words) - 08:44, 31 July 2020
  • | Title = Logic in Databases ********** 1st Symposium on Logic in Databases (LID 2008) ************
    5 KB (647 words) - 23:10, 14 October 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
  • Fuzzy logic and Reasoning Programming Tools and Compilers
    3 KB (427 words) - 17:01, 29 May 2016
  • ...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
  • Inductive Logic Programming
    5 KB (569 words) - 23:21, 14 October 2008
  • |Title=23rd Annual IEEE Symposium on Logic in Computer Science |Field=Logic
    2 KB (285 words) - 15:11, 7 November 2016
  • | Title = 38th IEEE International Symposium on Multiple-Valued Logic | Field = Logic
    2 KB (288 words) - 23:24, 14 October 2008
  • Fuzzy logic and soft computing Languages and programming techniques for AI
    3 KB (397 words) - 10:23, 24 June 2011
  • | Title = 18th European Symposium on Programming | Field = Programming languages
    6 KB (824 words) - 23:32, 14 October 2008
  • | Title = Principles and Practice of Declarative Programming | Field = Programming languages
    4 KB (451 words) - 23:32, 14 October 2008
  • |Title=International Conference on Inductive Logic Programming
    502 bytes (59 words) - 11:42, 31 March 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
  • | 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
  • | 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
  • |Title=Workshop on Logics and Agent Programming Languages == WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES ==
    4 KB (586 words) - 01:27, 19 November 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
  • |Title=Seventh Workshop on Quantitative Aspects of Programming Languages |Field=Programming languages
    6 KB (823 words) - 14:28, 14 December 2008
  • |Title=25th International Conference on Logic Programming |Field=logic programming
    5 KB (680 words) - 23:55, 27 February 2020
  • * 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
  • | 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
  • |Title=International Conference on Inductive Logic Programming |Field=Logic
    138 bytes (19 words) - 12:05, 31 March 2020
  • * » fuzzy logic, fuzzy inference systems * » fuzzy mathematical programming
    2 KB (223 words) - 17:26, 6 May 2021
  • o Distributed Logic Programming o Fuzzy reasoning, Fuzzy decision making, Fuzzy logic
    8 KB (977 words) - 16:33, 27 February 2009
  • * Inductive logic programming
    5 KB (607 words) - 17:03, 27 December 2015
  • Logic Reasoning and Theorem-Proving Fuzzy logic and soft computing
    5 KB (604 words) - 17:06, 27 February 2009
  • * Rule-based default reasoning with default logic, defeasible logic, and answer set programming
    7 KB (883 words) - 17:06, 27 February 2009
  • ...dware accelerators for circuit-level simulation; Hardware accelerators for logic simulation; Distributed simulation of circuits, components, and systems; Mo ...ds in design, Rapid prototyping, CASE systems in engineering design, Modal Logic systems in design, Simulation in support of system specification and design
    38 KB (4,832 words) - 17:07, 27 February 2009
  • * Topics: Algorithms, Automata and Logic, Discrete Mathematics and Computational Methods and Mathematical Programming
    1 KB (175 words) - 17:07, 27 February 2009
  • - algebraic semantics of programming languages Chair of Logic
    7 KB (912 words) - 17:08, 27 February 2009
  • ...nd is structured according to our understanding of how human reasoning and logic works. Currently, a major concern in knowledge engineering is the construct * AI programming
    11 KB (1,563 words) - 06:56, 12 April 2012
  • ...(Rule Induction and Decision Tree Learning, Lazy Learning, Inductive Logic Programming, Analytical Learning, Transformation- *based Error-driven Learning)
    3 KB (349 words) - 11:44, 3 August 2020
  • - Logic Programming in Natural Language Processing,
    14 KB (1,872 words) - 19:26, 2 August 2009
  • * Advanced Applications of Fuzzy Logic * Evolutionary Programming
    5 KB (552 words) - 17:06, 12 August 2009
  • LDTA is an application and tool oriented forum on meta programming in descriptions of programming languages. Tools and techniques presented
    5 KB (699 words) - 11:19, 12 September 2009
  • * Knowledge Representation and Reasoning, Logic Programming
    6 KB (830 words) - 11:18, 8 October 2020
  • * › Logic Programming * › Programming Environments and Languages
    4 KB (418 words) - 14:18, 10 March 2010
  • |Title=Logic Programming and Automated Reasoning
    146 bytes (19 words) - 21:49, 26 February 2020
  • |Title=23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
    351 bytes (38 words) - 21:52, 26 February 2020
  • |Title=International Logic Programming Symposium
    101 bytes (13 words) - 22:26, 26 February 2020
  • |Title=International Conference on Logic Programming |Field=Logic
    132 bytes (18 words) - 00:05, 28 February 2020
  • |Title=International Symposium on Functional and Logic Programming
    120 bytes (16 words) - 22:36, 26 February 2020
  • * › Advanced Applications of Fuzzy Logic * › Evolutionary Programming
    19 KB (2,462 words) - 19:10, 26 August 2010
  • |Title=International Colloquium on Automata Languages and Programming The 47th International Colloquium on Automata, Languages and Programming (ICALP) 2020
    4 KB (602 words) - 06:44, 26 August 2020
  • |Title=International Symposium on Functional and Logic Programming
    235 bytes (30 words) - 16:50, 27 February 2020
  • |Title=International Conference on Logic Programming
    206 bytes (25 words) - 17:07, 27 February 2020
  • |Title=27th International Conference on Inductive Logic Programming |Field=Programming
    1 KB (133 words) - 16:02, 23 July 2019
  • |Title=28th International Conference on Inductive Logic Programming |Field=Programming
    1,018 bytes (126 words) - 11:44, 31 March 2020
  • |Title=14th International Conference on Logic Programming and Nonmonotonic Reasoning |Field=programming
    923 bytes (116 words) - 14:15, 16 August 2019
  • ...nd is structured according to our understanding of how human reasoning and logic works. Currently, KE is strongly related to the construction of shared know * AI Programming
    3 KB (297 words) - 17:35, 6 April 2011
  • Genetic Programming Fuzzy Logic
    11 KB (1,490 words) - 11:59, 27 January 2012
  • |Title=29th International Conference on Inductive Logic Programming |Field=Programming
    784 bytes (99 words) - 08:54, 26 July 2019
  • Evolutionary Programming Advanced Applications of Fuzzy Logic
    5 KB (552 words) - 15:08, 21 August 2012
  • |Title=International Logic Programming Symposium
    213 bytes (26 words) - 16:44, 27 February 2020
  • - Design and programming methodologies - Functional Reactive Programming
    6 KB (826 words) - 15:44, 29 January 2021
  • ...nd is structured according to our understanding of how human reasoning and logic works. Currently, KE is gradually more related to the construction of share AI programming
    3 KB (411 words) - 18:39, 4 March 2013
  • |Title=31st Annual ACM/IEEE Symposium on Logic in Computer Science ...rum on theoretical and practical topics in computer science that relate to logic, broadly construed.
    4 KB (528 words) - 11:25, 26 June 2020
  • |Title=32nd Annual ACM/IEEE Symposium on Logic in Computer Science The 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2017
    4 KB (490 words) - 11:42, 26 June 2020
  • |Title=IJFLS 2017 : International Journal of Fuzzy Logic Systems INTERNATIONAL JOURNAL OF FUZZY LOGIC SYSTEMS (IJFLS)
    5 KB (696 words) - 13:28, 28 July 2017
  • discrete mathematics, logic and algebra, model theory, information theory, Big Data: models for data in the Cloud, programming languages for big data,
    9 KB (1,118 words) - 13:41, 3 September 2017
  • inductive logic programming;
    6 KB (824 words) - 09:04, 3 September 2017
  • * Programming Languages * Program Semantics and Logic
    4 KB (523 words) - 13:30, 28 July 2017
  • Automated reasoning and logic programming Fuzzy sets and fuzzy logic; rough sets
    2 KB (216 words) - 12:32, 3 September 2017
  • Adaptive Dynamic Programming and Reinforcement Learning; Artificial Life; Control Systems; Fuzzy Logic and System; Neural Networks; Genetic Algorithm;
    4 KB (508 words) - 13:23, 28 July 2017
  • * Architecture and Programming Support for Emerging Domains (Big Data, Deep * Logic Synthesis and Electronic Design Automation
    1 KB (178 words) - 10:05, 20 November 2020
  • - Evolutionary Programming - Advanced Applications of Fuzzy Logic
    6 KB (818 words) - 13:40, 3 September 2017
  • * Fuzzy logic and applications * Linear and Nonlinear Programming
    3 KB (434 words) - 13:28, 28 July 2017
  • Programming Languages and Run-Time Systems Fuzzy systems and fuzzy logic
    6 KB (743 words) - 11:45, 8 August 2017
  • are fuzzy logic, neural network, and probabilistic reasoning, which complement each other. Fuzzy logic is used for error analysis and neural network for
    4 KB (598 words) - 09:58, 21 August 2017
  • ...ovel probabilistic-logical framework for ontology matching based on Markov logic. We define the syntax and semantics and provide a formalization of the onto |Conclusion=We presented a Markov logic based framework for ontology matching capturing a wide range of matching st
    4 KB (624 words) - 23:11, 11 July 2018
  • ...gs, groups of things, and relations between things. OWL is a computational logic-based language such that knowledge expressed in OWL can be exploited by com [[Category:Programming Language]]
    676 bytes (110 words) - 17:11, 11 July 2018
  • * learning through fuzzy logic * inductive logic programming
    3 KB (425 words) - 20:41, 7 September 2019
  • *Genetic Programming over Spark for Higgs Boson Classification *Method of Decision-Making Logic Discovery in the Business Process Textual Data
    7 KB (917 words) - 18:07, 17 March 2020
  • |Title=Symposium on Programming Language Implementation and Logic Programming
    131 bytes (17 words) - 00:55, 18 March 2020
  • |Title=International Conference on Algebraic and Logic Programming
    118 bytes (16 words) - 01:11, 18 March 2020
  • |Title=ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming
    143 bytes (20 words) - 01:29, 18 March 2020
  • |Title=International Workshop on Logic Programming and Multi-Agents
    120 bytes (16 words) - 01:46, 18 March 2020
  • * computer science logic * programming and verification
    2 KB (192 words) - 08:38, 14 April 2020
  • ...ncy, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics; *Programming methodologies, languages, middleware, tools, and environments for the devel
    2 KB (264 words) - 18:00, 18 February 2021
  • |Title=17th Asian Symposium on Programming Languages and Systems ...devoted to foundational and practical issues broadly spanning the areas of programming languages and systems. Papers are solicited on topics such as
    1 KB (141 words) - 15:22, 8 April 2020
  • |Title=16th Asian Symposium on Programming Languages and Systems * Logic, constraint, probabilistic, and quantum programming
    1 KB (110 words) - 15:22, 8 April 2020
  • |Title=15th Asian Symposium on Programming Languages and Systems * logic, constraint, probabilistic, and quantum programming
    1 KB (109 words) - 15:23, 8 April 2020
  • ...ncy, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics; *Programming methodologies, languages, middleware, tools, and environments for the devel
    3 KB (355 words) - 08:53, 17 April 2020
  • ...ency, mobility, dynamic, spatial and robabilistic aspects of coordination, logic, emergent behaviour, types, semantics; *Programming methodologies, languages, middleware, tools, and environments for the devel
    2 KB (275 words) - 11:35, 17 April 2020
  • ...th map applications; Machine learning programming models and abstractions; Programming languages for machine learning; Visualization of data, models, and predicti ...aitions]; Platform-as-service; On-demand computing models; Cloud Computing programming and application development; Scalability, discovery of services and data in
    16 KB (1,897 words) - 12:31, 18 May 2020
  • * How to seamlessly integrate AI and machine learning techniques into design/programming languages and tools for agent-based systems? Programming frameworks, languages, models and abstractions for all aspects of MAS
    8 KB (1,092 words) - 12:49, 22 April 2020
  • |Title=44th International Colloquium on Automata, Languages, and Programming The 44th International Colloquium on Automata, Languages, and Programming (ICALP) 2017
    4 KB (610 words) - 06:40, 26 August 2020
  • |Title=45th International Colloquium on Automata, Languages, and Programming The 45th International Colloquium on Automata, Languages, and Programming (ICALP) 2018
    3 KB (455 words) - 06:41, 26 August 2020
  • |Title=46th International Colloquium on Automata, Languages, and Programming The 46th International Colloquium on Automata, Languages, and Programming (ICALP) 2019
    4 KB (556 words) - 06:42, 26 August 2020
  • |Title=48th International Colloquium on Automata, Languages, and Programming The 48th International Colloquium on Automata, Languages, and Programming (ICALP) 2021
    4 KB (503 words) - 06:44, 26 August 2020
  • |Title=34th Annual ACM/IEEE Symposium on Logic in Computer Science |Field=Logic, Computer Science,
    4 KB (525 words) - 11:27, 27 August 2020
  • |Title=33rd Annual ACM/IEEE Symposium on Logic in Computer Science |Field=Logic, Computer Science
    4 KB (537 words) - 14:06, 27 August 2020
  • |Title=45th ACM SIGPLAN Symposium on Principles of Programming Languages |Field=Programming language
    4 KB (472 words) - 15:41, 9 July 2020
  • ...; Intelligent systems and robotics; Fault-tolerance and reliability; Fuzzy logic & systems; Genetic algorithms; Haptic phenomena; Graphic recognition; Neura ...ic commerce and trading systems Multi-agent constraint satisfaction; Agent programming languages, development environments and testbeds; Computational complexity
    18 KB (2,036 words) - 02:36, 10 July 2020
  • ...th map applications; Machine learning programming models and abstractions; Programming languages for machine learning; Visualization of data, models, and predicti ...aitions]; Platform-as-service; On-demand computing models; Cloud Computing programming and application development; Scalability, discovery of services and data in
    16 KB (1,874 words) - 12:15, 24 November 2020
  • ...es, constraint satisfaction and machine learning; Logic programming, fuzzy logic, neural networks, and uncertainty; State space search, ontologies and data ...th map applications; Machine learning programming models and abstractions; Programming languages for machine learning; Visualization of data, models, and predicti
    8 KB (972 words) - 18:55, 8 December 2020
  • ...1, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking ...1, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
    7 KB (764 words) - 18:56, 8 December 2020
  • ...mplexity; Optimal resilience; Adaptive data analysis computation; Bounding programming relaxations; Deniable encryption; Sparse dimensionality reduction; Exponent ...inment computing; Time-sensitive/temporal computing; Soft computing (fuzzy logic, neural computing, evolutionary computation, machine learning, and probabil
    6 KB (745 words) - 18:57, 8 December 2020
  • ...ce of materialized views, dynamic graph processing, in-network processing, logic-based event recognition, event correlation and pattern languages. Systems and software: Distributed data processing, distributed programming, federated event-based systems, smart contracts, blockchain and distributed
    3 KB (344 words) - 15:54, 29 January 2021
  • ...on in stream processing, complex event forecasting, in-network processing, logic-based complex event recognition, online relational learning, distributed ev Systems and software: Distributed data processing, distributed programming, federated event-based systems, AI/ML for event processing, information-cen
    2 KB (300 words) - 16:01, 29 January 2021
  • ...th map applications; Machine learning programming models and abstractions; Programming languages for machine learning; Visualization of data, models, and predicti ...aitions]; Platform-as-service; On-demand computing models; Cloud Computing programming and application development; Scalability, discovery of services and data in
    16 KB (1,874 words) - 14:47, 10 February 2021
  • ...th map applications; Machine learning programming models and abstractions; Programming languages for machine learning; Visualization of data, models, and predicti ...aitions]; Platform-as-service; On-demand computing models; Cloud Computing programming and application development; Scalability, discovery of services and data in
    16 KB (1,956 words) - 11:50, 3 March 2021
  • Automated reasoning and logic programming Fuzzy sets and fuzzy logic; rough sets
    2 KB (262 words) - 11:10, 24 November 2023