Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance

2018 ◽  
Keyword(s):  
Theory And Practice ◽  
International Conference

scholarly journals Introduction to the 30th International Conference on Logic Programming Special Issue

2014 ◽  
Vol 14 (4-5) ◽  
pp. 401-414
Author(s):  
MICHAEL LEUSCHEL ◽  
TOM SCHRIJVERS
Keyword(s):  
Logic Programming ◽  
Language Processing ◽  
Program Analysis ◽  
Virtual Machines ◽  
Inductive Logic ◽  
Theory And Practice ◽  
Scientific Conference ◽  
Special Issue ◽  
History Of Logic ◽  
International Conference

The 30th edition of the International Conference of Logic Programming took place in Vienna in July 2014 at the Vienna Summer of Logic - the largest scientific conference in the history of logic. Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again appear as a special issue of Theory and Practice of Logic Programming (TPLP) - the 30th International Conference on Logic Programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation; Implementation: Compilation, Memory Management, Virtual Machines, Parallelism; Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing; Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques; Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming; Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.

Sign in / Sign up

Export Citation Format

Share Document