Choose an application

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

Programming --- gebruikersinterfaces --- hardware --- programmeren (informatica) --- architectuur (informatica) --- visual programming --- interfaces

Choose an application

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

Object-georiënteerd programmeren (Informatica) --- Object-oriented programming (Computer science) --- Programmation par objets (Informatique)

Choose an application

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

681.44 )* DATABEHEER --- Access --- computersoftware --- databanken --- informaticatoepassingen --- programmeren --- windows --- MS Access --- Information systems --- Computer architecture. Operating systems

Choose an application

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

This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included. Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.

Logic programming --- Logisch programmeren --- Logische programmering --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Artificial intelligence. --- Computer network architectures. --- Software engineering. --- Information theory. --- Artificial Intelligence. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- 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

Choose an application

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

Computer software --- Development --- -005.12 --- Development. --- 005.12 --- 681.3*H3 --- 681.3*H3 Information storage and retrieval. Cd-rom --- Information storage and retrieval. Cd-rom --- Development of computer software --- Software development --- Programming --- programmeren (informatica) --- software engineering --- systeemontwikkeling (informatica) --- Computer software - Development