Annals of Mathematics and Artificial Intelligence

Title Titel
Annals of Mathematics and Artificial Intelligence
 
e-ISSN
1573-7470
 
ISSN
1012-2443
 
Publisher Herausgeber
SPRINGER
 
Publisher's Address Herausgeber Adresse
VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Results 1-18 of 18 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Kronegger, Martin ; Woltran, Stefan A Multiparametric View on Answer Set ProgrammingArtikel Article 2019
2Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Comparing Action Descriptions based on Semantic PreferencesArtikel Article2007
3Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan Complexity results for answer set programming with bounded predicate arities and implicationsArtikel Article 2007
4Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant planning as a case study of incremental QBF solvingArtikel Article 2017
5Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingArtikel Article 2016
6Fernau, Henning ; Freund, Rudolf ; Schmid, Markus L. ; Subramanian, K.G. ; Wiederhold, Petra Contextual array grammars and array {P} systemsArtikel Article 2015
7Arieli, Ofer ; Zamansky, Anna A dissimilarity-based framework for generating inconsistency-tolerant logicsArtikel Article 14-Feb-2013
8Bliem, Bernhard ; Woltran, Stefan Equivalence between answer-set programs under (partially) fixed inputArtikel Article 2018
9Eiter, Thomas ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schindlauer, Roman Exploiting conjunctive queries in description logic programsArtikel Article2008
10Schreck, Pascal ; Ida, Tetsuo ; Kovacs, Laura Foreword - Formalization of geometry, automated and interactive geometric reasoningArtikel Article2019
11Molina-Abril, Helena ; Real, Pedro Homological Spanning Forest framework for 2D image processingArtikel Article2012
12Truszczyński, Mirosław ; Woltran, Stefan Hyperequivalence of logic programs with respect to supported modelsArtikel Article2009
13Kletzander, Lucas ; Musliu, Nysret ; Smith-Miles, Kate Instance space analysis for a personnel scheduling problemArtikel Article 2020
14Kletzander-2021-Annals of Mathematics and Artificial Intelligence-vor.pdf.jpgKletzander, Lucas ; Musliu, Nysret ; Smith-Miles, Kate Instance space analysis for a personnel scheduling problemArtikel Article Jul-2021
15Biesinger, Benjamin ; Hu, Bin ; Raidl, Günther Models and algorithms for competitive facility location problems with different customer behavior.Artikel Article 2016
16Egly, Uwe ; Pichler, Reinhard ; Woltran, Stefan On Deciding Subsumption ProblemsArtikel Article2005
17Biazzo, Veronica ; Gilio, Angelo ; Lukasiewicz, Thomas ; Sanfilippo, Giuseppe Probabilistic Logic under Coherence: Complexity and AlgorithmsArtikel Article2005
18Woltran, Stefan ; Ferrarotti, Flavio Special Issue on the 10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS2018) - PrefaceArtikel Article2019