Search results
Create the page "Logic programming" on this wiki! See also the search results found.
- | 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 p898 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 Logic5 KB (686 words) - 12:27, 12 September 2008
- * Fuzzy Logic and Fuzzy Systems * Genetic Programming and Algorithms13 KB (1,706 words) - 16:34, 27 December 2015
- |Title=Workshop on Declarative Aspects of Multicore Programming |Field=Programming paradigms2 KB (302 words) - 15:13, 25 September 2008
- |Title=Workshop on Declarative Aspects of Multicore Programming 2008 |Field=Programming paradigms6 KB (701 words) - 14:43, 25 September 2008
- |Title=Workshop on Declarative Aspects of Multicore Programming 2007 |Field=Programming paradigms5 KB (752 words) - 14:50, 25 September 2008
- |Title=Declarative Programming Languages for Multicore Architectures 2006 |Field=Programming paradigms4 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 S4 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 Logic8 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 Reasoning7 KB (945 words) - 20:07, 14 October 2008
- Advanced Applications of Fuzzy Logic Evolutionary Programming9 KB (1,240 words) - 22:56, 14 October 2008
- | Title = 15th Workshop on Logic, Language, Information and Computation | Field = Logic5 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 optimization2 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 Paradigms5 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 better5 KB (696 words) - 18:29, 8 November 2008
- - Logic Programming - Programming Environments and Languages18 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 d5 KB (799 words) - 21:49, 26 February 2020
- - Logic and constraint programming6 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 programming3 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 Algorithms5 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 and5 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 Language3 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 Services6 KB (865 words) - 23:13, 14 October 2008
- Fuzzy logic and Reasoning Programming Tools and Compilers3 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 fro18 KB (2,714 words) - 23:23, 14 October 2008
- Inductive Logic Programming5 KB (569 words) - 23:21, 14 October 2008
- |Title=23rd Annual IEEE Symposium on Logic in Computer Science |Field=Logic2 KB (285 words) - 15:11, 7 November 2016
- | Title = 38th IEEE International Symposium on Multiple-Valued Logic | Field = Logic2 KB (288 words) - 23:24, 14 October 2008
- Fuzzy logic and soft computing Languages and programming techniques for AI3 KB (397 words) - 10:23, 24 June 2011
- | Title = 18th European Symposium on Programming | Field = Programming languages6 KB (824 words) - 23:32, 14 October 2008
- | Title = Principles and Practice of Declarative Programming | Field = Programming languages4 KB (451 words) - 23:32, 14 October 2008
- |Title=International Conference on Inductive Logic Programming502 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 20205 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, and3 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 logic5 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 frameworks8 KB (840 words) - 23:38, 14 October 2008
- |Title=Seventh Workshop on Quantitative Aspects of Programming Languages |Field=Programming languages6 KB (823 words) - 14:28, 14 December 2008
- |Title=25th International Conference on Logic Programming |Field=logic programming5 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 Graph4 KB (542 words) - 13:01, 18 January 2009
- | Title = 19th International Conference on Inductive Logic Programming * ILP-2009 - 19th International Conference on Inductive Logic Programming4 KB (521 words) - 15:25, 23 July 2019
- |Title=International Conference on Inductive Logic Programming |Field=Logic138 bytes (19 words) - 12:05, 31 March 2020
- * » fuzzy logic, fuzzy inference systems * » fuzzy mathematical programming2 KB (223 words) - 17:26, 6 May 2021
- o Distributed Logic Programming o Fuzzy reasoning, Fuzzy decision making, Fuzzy logic8 KB (977 words) - 16:33, 27 February 2009
- * Inductive logic programming5 KB (607 words) - 17:03, 27 December 2015
- Logic Reasoning and Theorem-Proving Fuzzy logic and soft computing5 KB (604 words) - 17:06, 27 February 2009
- * Rule-based default reasoning with default logic, defeasible logic, and answer set programming7 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 design38 KB (4,832 words) - 17:07, 27 February 2009
- * Topics: Algorithms, Automata and Logic, Discrete Mathematics and Computational Methods and Mathematical Programming1 KB (175 words) - 17:07, 27 February 2009
- - algebraic semantics of programming languages Chair of Logic7 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 programming11 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 Programming5 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 presented5 KB (699 words) - 11:19, 12 September 2009
- * Knowledge Representation and Reasoning, Logic Programming6 KB (830 words) - 11:18, 8 October 2020
- * › Logic Programming * › Programming Environments and Languages4 KB (418 words) - 14:18, 10 March 2010
- |Title=Logic Programming and Automated Reasoning146 bytes (19 words) - 21:49, 26 February 2020
- |Title=23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning351 bytes (38 words) - 21:52, 26 February 2020
- |Title=International Logic Programming Symposium101 bytes (13 words) - 22:26, 26 February 2020
- |Title=International Conference on Logic Programming |Field=Logic132 bytes (18 words) - 00:05, 28 February 2020
- |Title=International Symposium on Functional and Logic Programming120 bytes (16 words) - 22:36, 26 February 2020
- * › Advanced Applications of Fuzzy Logic * › Evolutionary Programming19 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) 20204 KB (602 words) - 06:44, 26 August 2020
- |Title=International Symposium on Functional and Logic Programming235 bytes (30 words) - 16:50, 27 February 2020
- |Title=International Conference on Logic Programming206 bytes (25 words) - 17:07, 27 February 2020
- |Title=27th International Conference on Inductive Logic Programming |Field=Programming1 KB (133 words) - 16:02, 23 July 2019
- |Title=28th International Conference on Inductive Logic Programming |Field=Programming1,018 bytes (126 words) - 11:44, 31 March 2020
- |Title=14th International Conference on Logic Programming and Nonmonotonic Reasoning |Field=programming923 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 Programming3 KB (297 words) - 17:35, 6 April 2011
- Genetic Programming Fuzzy Logic11 KB (1,490 words) - 11:59, 27 January 2012
- |Title=29th International Conference on Inductive Logic Programming |Field=Programming784 bytes (99 words) - 08:54, 26 July 2019
- Evolutionary Programming Advanced Applications of Fuzzy Logic5 KB (552 words) - 15:08, 21 August 2012
- |Title=International Logic Programming Symposium213 bytes (26 words) - 16:44, 27 February 2020
- - Design and programming methodologies - Functional Reactive Programming6 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 programming3 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) 20174 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 Logic4 KB (523 words) - 13:30, 28 July 2017
- Automated reasoning and logic programming Fuzzy sets and fuzzy logic; rough sets2 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 Automation1 KB (178 words) - 10:05, 20 November 2020
- - Evolutionary Programming - Advanced Applications of Fuzzy Logic6 KB (818 words) - 13:40, 3 September 2017
- * Fuzzy logic and applications * Linear and Nonlinear Programming3 KB (434 words) - 13:28, 28 July 2017
- Programming Languages and Run-Time Systems Fuzzy systems and fuzzy logic6 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 for4 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 st4 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 programming3 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 Data7 KB (917 words) - 18:07, 17 March 2020
- |Title=Symposium on Programming Language Implementation and Logic Programming131 bytes (17 words) - 00:55, 18 March 2020
- |Title=International Conference on Algebraic and Logic Programming118 bytes (16 words) - 01:11, 18 March 2020
- |Title=ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming143 bytes (20 words) - 01:29, 18 March 2020
- |Title=International Workshop on Logic Programming and Multi-Agents120 bytes (16 words) - 01:46, 18 March 2020
- * computer science logic * programming and verification2 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 devel2 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 as1 KB (141 words) - 15:22, 8 April 2020
- |Title=16th Asian Symposium on Programming Languages and Systems * Logic, constraint, probabilistic, and quantum programming1 KB (110 words) - 15:22, 8 April 2020
- |Title=15th Asian Symposium on Programming Languages and Systems * logic, constraint, probabilistic, and quantum programming1 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 devel3 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 devel2 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 in16 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 MAS8 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) 20174 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) 20183 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) 20194 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) 20214 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 Science4 KB (537 words) - 14:06, 27 August 2020
- |Title=45th ACM SIGPLAN Symposium on Principles of Programming Languages |Field=Programming language4 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 complexity18 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 in16 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 predicti8 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 Benchmarking7 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 probabil6 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 distributed3 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-cen2 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 in16 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 in16 KB (1,956 words) - 11:50, 3 March 2021
- Automated reasoning and logic programming Fuzzy sets and fuzzy logic; rough sets2 KB (262 words) - 11:10, 24 November 2023