Choose an application

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

Défense de l'environnement --- Environnement -- Défense --- Environnement -- Protection --- Environnement -- Qualité --- Environnement [Protection de l' ] --- Sauvegarde de l'environnement --- Social Sciences and Humanities. Economics --- Environmental Economics. --- Environmental protection --- Conservation of natural resources --- Human ecology --- Economic development --- Environmental aspects

Choose an application

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

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.

Artificial intelligence --- -681.3*F3 --- 681.3*F4 --- 681.3*I2 --- 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 --- Congresses --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- Artificial intelligence. AI --- Logic --- -Congresses --- 681.3*I2 Artificial intelligence. AI --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F3 --- Artificial intelligence. --- Logic, Symbolic and mathematical. --- Computer science. --- Logic design. --- Artificial Intelligence. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism

Choose an application

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

Choose an application

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

Economics - Dictionaries.

Choose an application

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

Air pollution. Air purification --- Meteorology. Climatology --- Europe --- Acid rain --- Environmental aspects --- Economic aspects