Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

681.3*I23 <063> --- 681.3*I24 <063> --- 681.3*I26 <063> --- 681.3*I27 <063> --- 681.3*D16 <063> --- 681.3*I2m --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Natural language processing: language generation; language models; language parsing and understanding; machine translation; speech recognition and under-standing; text analysis (Artificial intelligence)--Congressen --- Programming techniques: Logic programming--Congressen --- Artificial intelligence. AI --- Information Technology --- Computer Science (Hardware & Networks) --- 681.3*I2m Artificial intelligence. AI --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 19th International Conference on Logic Programming, ICLP 2003, which was held at the Tata Institute of F- damental Research in Mumbai, India, during 9–13 December, 2003. ICLP 2003 was colocated with the 8th Asian Computing Science Conference, ASIAN 2003, andwasfollowedbythe23rdConferenceonFoundationsofSoftwareTechnology and Theoretical Computer Science, FSTTCS 2003. The latter event was hosted by the Indian Institute of Technology in Mumbai. In addition, there were ?ve satellite workshops associated with ICLP 2003: – PPSWR 2003, Principles and Practice of Semantic Web Reasoning, 8th Dec. 2003, organized by Fran¸ cois Bry, Nicola Henze, and Jan Maluszynski. – COLOPS 2003, COnstraint & LOgic Programming in Security, 8th Dec. 2003, organized by Martin Leucker, Justin Pearson, Fred Spiessens, and Frank D. Valencia. – WLPE 2003, Workshop on Logic Programming Environments, organized by Alexander Serebrenik and Fred Mesnard. – CICLOPS2003,ImplementationofConstraintandLOgicProgrammingS- tems, 14th Dec. 2003, organized by Michel Ferreira and Ricardo Lopes. – SVV 2003, Software Veri?cation and Validation, 14th Dec. 2003, organized by Sandro Etalle, Supratik Mukhopadhyay, and Abhik Roychoudhury.

Logic programming --- Programmation logique --- Congresses. --- Congrès --- Computer science. --- Logic design. --- Artificial intelligence. --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- 681.3*D16 <063> --- 681.3*I23 <063> --- 681.3*I24 <063> --- 681.3*D3 <063> --- 681.3*F3 --- 681.3*F4 --- Computer science--?*D16 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- Programming languages--Congressen --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 <063> Programming languages--Congressen --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Software Engineering/Programming and Operating Systems. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic programming --- 681.3*D16 <063> --- 681.3*I26 <063> --- 681.3*I23 <063> --- 681.3*F41 <063> --- 681.3*F22 <063> --- Computer programming --- Programming techniques: Logic programming--Congressen --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3}--Congressen --- Computer Science --- Engineering & Applied Sciences --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Computer science. --- Architecture, Computer. --- Software engineering. --- Computer programming. --- Algorithms. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence (incl. Robotics). --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Architecture, Computer --- Informatics --- Science --- Foundations --- Programming --- Computer network architectures. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Logic programming - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

681.3*D16 <063> --- Logic programming --- 681.3*D11 <063> --- 681.3*F31 <063> --- 681.3*F41 <063> --- 681.3*I22 <063> --- Computer programming --- Computer science--?*D16 --- Applicative (functional) programming--Congressen --- Specifying anf verifying and reasoning about programs: assertions invariants mechanical verification pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21} {681.3*D24} {681.3*D31} {681.3*E1}--Congressen --- Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23}--Congressen --- Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31}--Congressen --- Computer science. --- Architecture, Computer. --- Software engineering. --- Computer programming. --- Computers. --- Computer logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer System Implementation. --- Theory of Computation. --- Logics and Meanings of Programs. --- Programming Techniques. --- Artificial Intelligence (incl. Robotics). --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Architecture, Computer --- Informatics --- Science --- Programming --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1}--Congressen --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31}--Congressen --- Computer network architectures. --- Information theory. --- Logic design. --- Artificial Intelligence. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Logic programming - Congresses