Name Card

Full name Familienname, Vorname
Baral, Chitta
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Saribatur Zeynep G - 2017 - Reactive Maintenance Policies over Equalized States...pdf.jpgSaribatur, Zeynep G. ; Baral, Chitta ; Eiter, Thomas Reactive Maintenance Policies over Equalized States in Dynamic EnvironmentsInproceedings Konferenzbeitrag 2017
2Baral, Chitta ; Eiter, Thomas ; Bjäreland, Marcus ; Nakamura, Mutsumi Maintenance goals of agents in a dynamic environment: Formulation and policy constructionArtikel Article2008
3Baral, Chitta ; Eiter, Thomas ; Zhao, Jicheng Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic DomainsKonferenzbeitrag Inproceedings 2005
4Baral, Chitta ; Eiter, Thomas ; Bjäreland, Marcus ; Nakamura, Mutsumi Maintenance Goals of Agents in a Dynamic Environment: Formulation and Policy ConstructionBericht Report2004

Contributing Publications Mitbeteiligte Publikationen

Results 1-16 of 16 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Delobelle, Jerome ; Haret, Adrian ; Konieczny, Sebastien ; Mailly, Jean-Guy ; Rossit, Julien ; Woltran, Stefan Merging of Abstract Argumentation FrameworksKonferenzbeitrag Inproceedings 2016
2Giacomin, Massimiliano ; Linsbichler, Thomas ; Woltran, Stefan On the functional completeness of argumentation semanticsKonferenzbeitrag Inproceedings 2016
3Ngo, Nhung ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Closed Predicates in Description Logics: Results on Combined ComplexityKonferenzbeitrag Inproceedings 2016
4Stepanova, Daria Inconsistencies in Hybrid Knowledge BasesKonferenzbeitrag Inproceedings 2014
5Bienvenu, Meghyn ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Nested Regular Path Queries in Description LogicsKonferenzbeitrag Inproceedings 2014
6Baral, Chitta ; De Giacomo, Giuseppe ; Eiter, Thomas Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014Konferenzband Proceedings 2014
7Strass, Hannes ; Wallner, Johannes Peter Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2014
8Dunne, Paul E. ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan Characteristics of Multiple Viewpoints in Abstract ArgumentationKonferenzbeitrag Inproceedings 2014
9Fink, Michael ; Pichler, Reinhard ; Tompits, Hans ; Woltran, Stefan Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite DomainsKonferenzbeitrag Inproceedings 2007
10Van Nieuwenborgh, Davy ; Eiter, Thomas ; Vermeir, Dirk Conditional Planning with External FunctionsKonferenzbeitrag Inproceedings 2007
11Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans A Preference-Based Framework for Updating Logic ProgramsKonferenzbeitrag Inproceedings 2007
12Finzi, Alberto ; Lukasiewicz, Thomas Game-Theoretic Reasoning About Actions in Nonmonotonic Causal TheoriesKonferenzbeitrag Inproceedings2005
13Leone, Nicola ; Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael Data Integration: a Challenging ASP ApplicationKonferenzbeitrag Inproceedings 2005
14Eiter, Thomas ; Fink, Michael ; Senko, Jan KMonitor -- A Tool for Monitoring Plan Execution in Action TheoriesKonferenzbeitrag Inproceedings 2005
15Eiter, Thomas ; Faber, Wolfgang ; Traxler, Patrick Testing Strong Equivalence of Datalog Programs: Implementation and ExamplesKonferenzbeitrag Inproceedings 2005
16Eiter, Thomas Data Integration and Answer Set ProgrammingKonferenzbeitrag Inproceedings2005