Andreas Herzig
25
Documents
Publications
- 25
- 8
- 8
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Autoepistemic equilibrium logic and epistemic specificationsArtificial Intelligence, 2020, 282, pp.103249. ⟨10.1016/j.artint.2020.103249⟩
Article dans une revue
hal-02945872v1
|
|
|
Capturing equilibrium models in modal logicJournal of Applied Logic, 2014, vol. 12 (n° 2), pp. 192-207. ⟨10.1016/j.jal.2013.12.003⟩
Article dans une revue
hal-01127960v1
|
La logique modale des modèles d’équilibreRevue d'Intelligence Artificielle, 2012, 26 (1-2), pp.1-15. ⟨10.3166/ria.26.85-102⟩
Article dans une revue
hal-03464940v1
|
|
|
|
Global and local graph modifiersElectronic Notes in Theoretical Computer Science, 2009, Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), 231, ⟨10.1016/j.entcs.2009.02.042⟩
Article dans une revue
inria-00556034v1
|
|
|
Epistemic Equilibrium Logic (IJCAI 2015)24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conference on Artificial Intelligence (IJCAI); Argentinean Association of Artificial Intelligence (AAIA-SADIO division), Jul 2015, Buenos Aires, Argentina. pp.2964-2970
Communication dans un congrès
hal-01334713v1
|
|
|
Combining equilibrium logic and dynamic logic12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Sep 2013, Corunna, Spain. pp.304-316
Communication dans un congrès
hal-01228754v1
|
|
|
The modal logic of equilibrium models8th International Symposium on Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrucken, Germany. pp.135--146
Communication dans un congrès
hal-03470290v1
|
Contingency-based equilibrium logic11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), May 2011, Vancouver, Canada. pp.223-228, ⟨10.1007/978-3-642-20895-9_23⟩
Communication dans un congrès
hal-03464952v1
|
|
Logics of ContingencyAAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, AAAI: Association for the Advancement of Artificial Intelligence, Mar 2011, Stanford, California, United States
Communication dans un congrès
hal-03470300v1
|
|
LoTREC: An environment for experiencing Kripke Semantics2nd International Congress on Tools for Teaching Logic (TTL 2006), Sep 2006, Salamanca, Spain. pp.41-44
Communication dans un congrès
hal-03537175v1
|
|
|
|
Lotrec: a generic tableau prover for modal and description logicsInternational Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458
Communication dans un congrès
hal-03523405v1
|
|
|
Qualitative relevance and independence: a roadmap15th International Joint Conference on Artificial Intelligence (IJCAI 1997), The International Joint Conferences on Artificial Intelligence organization; Japanese Society for Artificial Intelligence (JSAI), Aug 1997, Nagoya, Japan. pp.62--67
Communication dans un congrès
hal-04034585v1
|
Talkin'bout consistency, or: When logically possible becomes possibleInternational Conference on Formal and Applied Practical Reasoning (FAPR 1996), Jun 1996, Bonn, Germany. pp.141-150, ⟨10.1007/3-540-61313-7_69⟩
Communication dans un congrès
hal-04047098v1
|
|
Qualitative possibilistic independence, plausible reasoning and belief revisionWorkshop on Nonmonotonic Reasoning Action and Change (NRAC 1995) in conjunction with IJCAI 1995, Aug 1995, Montréal, Canada
Communication dans un congrès
hal-04053421v1
|
|
An ordinal view of independence, plausible reasoning and belief revision10th Conference on Uncertainty in Artificial Intelligence (UAI 1994), Jul 1994, Seattle, WA, United States. pp.195--203
Communication dans un congrès
hal-04057358v1
|
|
An ordinal view of independence with application to plausible reasoning10th Conference on Uncertainty in Artificial Intelligence (UAI 1994), Association for Uncertainty in Artificial Intelligence, Jul 1994, Seattles, United States. pp.195-203, ⟨10.1016/B978-1-55860-332-5.50030-4⟩
Communication dans un congrès
hal-04029858v1
|
|
A modal analysis of possibility theoryEuropean Conference on Symbolic and Quantitative Approaches to Uncertainty (ECSQARU 1991), Oct 1991, Marseille, France. pp.58-62, ⟨10.1007/3-540-54659-6_66⟩
Communication dans un congrès
hal-04058278v1
|
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. ProceedingsFariñas del Cerro, Luis; Herzig, Andrea; Mengin, Jérôme. Springer-Verlag, 7519, 2012, Lecture Notes in Computer Science book series, 978-3-642-33352-1
Ouvrages
hal-03464945v1
|
|
Journal of Applied Non-Classical Logics (2010) : Special Issue 20th Anniversary - Part 2Balbiani, Philippe; Fariñas del Cerro, Luis; Herzig, Andreas. Hermès, 20 (4), pp.312-477, 2011, Journal of Applied Non-Classical Logics
Ouvrages
hal-03470292v1
|
|
Conditionals: From Philosophy to Computer ScienceClarendon Press, 5, pp.1-376, 1996, Studies in Logic and Computation, 978-0198538615
Ouvrages
hal-04053312v1
|
Modal Tableaux: Completeness vs. TerminationArtemov, Sergei; Barringer, Howard; D'Avila Garcez, Artur; Lamb, Luis C.; Woods, John. We Will Show Them: Essays in Honour of Dov Gabbay, 2, College Publications, pp.587-614, 2005, 978-1904987116
Chapitre d'ouvrage
hal-03519762v1
|
|
A roadmap of qualitative independenceDidier Dubois; Henri Prade; Erich Peter Klement. Fuzzy Sets, Logics and Reasoning about Knowledge, 15, Kluwer Academic Publishers; Springer Netherlands, pp.325--350, 1999, Applied Logic series, 978-90-481-5324-4. ⟨10.1007/978-94-017-1652-9_22⟩
Chapitre d'ouvrage
hal-04013766v1
|
Une typologie des relations d'in(dépendance) qualitative[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1998
Rapport
hal-04028806v1
|
|
Inférence préférentielle et exceptions: sémantique probabiliste et indépendance possibiliste[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1997
Rapport
hal-04038105v1
|
|
Working papers of the workshop : 'Is logic + ordering enough for formalizing common sense reasoning?'[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 1996
Rapport
hal-04049228v1
|