Acronyms

AEL

Also found in: Wikipedia.
(redirected from Autoepistemic logic)
Category filter:
AcronymDefinition
AELAssociation Electronique Libre
AELAirport Express Line (various locations)
AELArab European League
AELAdult Education and Literacy (classes)
AELActive Exceptions List
AELAsterisk Extension Language
AELAcceptable Exposure Limit
AELArabisch Europese Liga
AELAgence de l'Energie
AELAppalachia Educational Laboratory
AELAffaires en Ligne (French: Business Online)
AELAvenir Electrique de Limoges (French electrical company)
AELAccessible Emission Limit
AELArquivo Edgard Leuenroth
AELAsterisk Extension Language (computer programming)
AELAdvanced Email Locator
AELAmerican Esoteric Laboratories
AELAir Evac Lifeteam (air medical service; various locations)
AELAncient Egyptian Language
AELAlbert Lea (Municipal) Airport (Minnesota)
AELAeronautical Engine Laboratory
AELAdverse-Effect-Level
AELAmerican Electric Lighting
AELAirborne Exposure Limit
AELAdaptive Engineering Lab
AELAerospace Education Laboratory (NASA)
AELArmy Electronic Library (Canadian Forces)
AELAfrican Explosives Ltd.
AELAquatic Ecology Laboratory
AELAutoepistemic Logic
AELAutoexposure Lock (cameras)
AELApplicable Exposure Limits
AELAdvanced e-Learning
AELAtlantic Electronics Limited
AELAmerican Electronic Laboratories (Lansdale, PA)
AELAthlitiki Enosi Larisas (Greek sports organization)
AELApplication Extension Language
AELAthlitiki Enosis Lemesou (Cyprus football team)
AELAugmented Environments Laboratory
AELArtificial Evolution Laboratory (Evangelion)
AELAsiatic Exclusion League
AELApparatebau Engineering Leisnig (Germany)
AELAncient Egyptian Lives
AELAlgorithm Enunciation Language
AELAnalytical Electron Microscopy
AELAdvanced Electronics Ltd
AELAuto Euro Location
AELAssociation des Etudiants en Lettres (Switzerland)
AELAdvancing Enterprise Ltd
AELAssociazione Europea Maestri Liutai e Archettai
AELAsociación Europeo-Latinoamericana
AELArt Enterprises Limited
AELAction Experience Learning (Finland)
AELAnalog Enhancement Layer
AELAuthorized Equipment Listing
AELAvian Energetics Lab
AELAdmiralty Engineering Lab (UK)
AELAlderley Environmental Ltd.
AELArbeitsgemeinschaft für Elektrizitätsanwendung in der Landwirtschaft eV
AELArbeitserziehungslager Farge (Educational workcamp Farge)
AELAirdrop Enhanced Logistics Visibility Information System (US DoD)
AELAutomatic Edge Lock
AELAction Environment Ltd
AELAllowance Equipage/Equipment List
AELAutomated Employee Locator
AELAgent's Echo Line
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive
They also define several systems (such as THEORIST [Poole 1988], circumscription [McCarthy 1980], logic programming, default logic [Reiter 1980], and autoepistemic logic [Moore 1985]) in terms of an assumption-based frameworks.
The second, credulous semantics, called stable semantics, generalizes the stable model semantics of logic programming, as well as the standard semantics of default logic, autoepistemic logic, and nonmonotonic modal logic.
Autoepistemic logic [Moore 1985] has the same expressive power as default logic [Bonatti and Eiter 1995].
Translating default logic into standard autoepistemic logic. JACM 42, 4, 711-740.
Nonmonotonic logics, such as default logic and autoepistemic logic, generate belief sets (called extensions, expansions, and the like) that are not necessarily complete.
A survey among students at the University of Toronto regarding their ranking of the difficulty of several nonmonotonic reasoning formalisms resulted in Default Logic (presented based on fixpoints) being perceived as the second most difficult one, surpassed only by the full version of Circumscription [McCarthy 1980], but well ahead of Autoepistemic Logic [Moore 1985].
Copyright © 2003-2025 Farlex, Inc Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.