Constraint LogicProgramming: CLP
Computers - Programming - Languages - Logic-based - Constraint Logic. Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (ÖFAI) of the Austrian Society for Cybernetics. ...
www.ofai.at
Theory and Practice of LogicProgramming
Computers - Computer Science - Publications - Journals. Among the topics covered are AI applications that use logic programming, natural language processing, knowledge representation, nonmonotic reaso ...
journals.cambridge.org
ResearchIndex: Hierarchical Constraint LogicProgramming
Computers - Programming - Languages - Logic-based - Constraint Logic. A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, document formatting, decision support), one must express preferences (soft constraints ...
citeseerx.ist.psu.edu
LogicProgramming and Artificial Intelligence Group
Computers - Artificial Intelligence - Associations. The group has active interests in: models of intelligent interaction, multi-agent systems, natural language understanding, constraint programming, c ...
www.lpaig.uwaterloo.ca
Mozart Programming System
Computers - Programming - Languages - Oz. Free major development platform for open, fault-tolerant, distributed, constraint and logicprogramming applications: full development environment, tools, documentation, tutorials, source code. Applications developed: realtime bus scheduler, configuration tool ...
www.mozart-oz.org
Literate Programming
Computers - Programming - Methodologies - Literate Programming. Resources, consulting services, downloads, freeware for Windows 95/98/Me-NT/2000/XP; learn about the CWEB programming system; articles, books, CD, tools, news, links. ...
www.literateprogramming.com
Functional LogicProgramming
Computers - Programming - Languages - Logic-based - Functional Logic. Michael Hanus's pages on amalgamating functional and logicprogramming. ...
www.informatik.uni-kiel.de
PC AI - LogicProgramming
Computers - Programming - Languages - Logic-based. As part of a survey of information on artificial intelligence this section on logicprogramming is provided. ...
www.pcai.com
Journal of LogicProgramming
Computers - Programming - Languages - Logic-based. Unofficial bibliography and home page. ...
www.informatik.uni-trier.de
DBLP: LogicProgramming
Computers - Programming - Languages - Logic-based. A bibliography on logicprogramming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects. ...
www.informatik.uni-trier.de
Journal of LogicProgramming
Computers - Computer Science - Theoretical - Journals. Journal of LogicProgramming published upto 2000. ...
www.informatik.uni-trier.de
Logic
Society - Religion and Spirituality - Christianity - Denominations - Catholicism - Reference - Catholic Encyclopedia - L. A historical survey from Indian and Pre-Aristotelian philosophy to the Logic o ...
www.newadvent.org
LogicProgramming 3D Site
Computers - Programming - Languages - Prolog. The main idea of this Site is 3D (VRML) representation of the World Wide Web. The Site describes the area of logicprogramming and Prolog. All the information was collected by Actor Prolog agents. ...
www.cplire.ru
LogicProgramming Associates
Computers - Programming - Languages - Prolog - Implementations. WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial] ...
www.lpa.co.uk
D Programming Language
Computers - Programming - Languages - D. Compiled, garbage collected, simpler C/C++ replacement by Walter Bright (wrote first DOS C++ compiler). Maximum similarity to C/C++, except where backward compatibility hurts. Overview, specification, download. [Digital Mars] ...
www.digitalmars.com
Logic And Functional Programming Group
Reference - Education - Colleges and Universities - North America - Canada - British Columbia - Simon Fraser University - Research. An independent interdisciplinary research group comprising members f ...
www.cs.sfu.ca
LogicProgramming in the LF Logical Framework (1991)
Science - Math - Logic and Foundations - Computational Logic - Logical Frameworks - LF Logical Framework. Article by Frank Pfennig describing a logicprogramming language which serves as a proof search engine for LF. ...
citeseerx.ist.psu.edu
NLULP-02: Natural Language Understanding and LogicProgramming
Science - Social Sciences - Linguistics - Conferences - 2002. To be held in Copenhagen, Denmark on 28 July 2002. Special emphasis on logical, mathematical and computational relationships between lingu ...
cs.haifa.ac.il
Conferences: Logic-Related
Computers - Programming - Languages - Logic-based. This web page of conferences and workshops that have an overlap with logic in computer science is maintained by the LICS organization. The first half... logic-related conferences. The second half is a list of logic-related conferences and associations ...
www2.informatik.hu-berlin.de
Logic and Fallacies
Society - Philosophy - Philosophy of Logic - Informal Logic. Atheism Web's guide to logic and fallacies in practical reasoning. ...
www.infidels.org
How Stuff Works: C Programming Language
Computers - Programming - Languages - C - FAQs, Help, and Tutorials. Complete, thoroughly-illustrated C programming language tutorial with many examples to assist in becoming a C programmer. ...
www.howstuffworks.com
The Logic Classroom
Science - Math - Logic and Foundations - Education. A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students. ...
www.sjsu.edu
The Logic Course
Society - Philosophy - Philosophy of Logic. An interactive course in formal logic, with tutorials and quizzes on critical thinking, truth-tables, and sentential. ...
www.thelogiccourse.com
top
