The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Ann. Math. Artif. Intell."( http://dblp.L3S.de/Venues/Ann._Math._Artif._Intell. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/amai

Publication years (Num. hits)
1990 (44) 1991 (30) 1992 (33) 1993 (64) 1994 (34) 1995 (50) 1996 (43) 1997 (45) 1998 (44) 1999 (33) 2000 (33) 2001 (38) 2002 (50) 2003 (47) 2004 (44) 2005 (47) 2006 (39) 2007 (43) 2008 (41) 2009 (45) 2010 (45) 2011 (54) 2012 (39) 2013 (39) 2014 (42) 2015 (49) 2016 (50) 2017 (53) 2018 (38) 2019 (20)
Publication types (Num. hits)
article(1276)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 328 occurrences of 200 keywords

Results
Found 1276 publication records. Showing 1276 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pedro Cabalar, Carlos Pérez, Gilberto Pérez Equilibrium graphs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mladen Nikolic, Vesna Marinkovic, Zoltán Kovács, Predrag Janicic Portfolio theorem proving and prover runtime prediction for geometry. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gauri Jain, Manisha Sharma, Basant Agarwal Spam detection in social media using convolutional and long short term memory neural network. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Beeson, Julien Narboux, Freek Wiedijk Proof-checking Euclid. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sana Stojanovic-Durdevic From informal to formal proofs in Euclidean geometry. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran A multiparametric view on answer set programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ariel Kellison, Mark Bickford, Robert L. Constable Implementing Euclid's straightedge and compass constructions in type theory. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pascal Schreck, Tetsuo Ida, Laura Kovács Foreword - Formalization of geometry, automated and interactive geometric reasoning. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Esra Erdem 0001, Amelia Harrison Guest editorial: special issue on answer set programming and other computing paradigms. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Braun, Nicolas Magaud, Pascal Schreck Two cryptomorphic formalizations of projective incidence geometry. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Corinna Cortes, Spencer Greenberg, Mehryar Mohri Relative deviation learning bounds and generalization with unbounded loss functions. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Evgenii Balai, Michael Gelfond, Yuanlin Zhang P-log: refinement and a new coherency condition. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse Rewriting input expressions in complex algebraic geometry provers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Satyanath Bhat, Shweta Jain 0002, Sujit Gujar, Y. Narahari An optimal bidimensional multi-armed bandit auction for multi-unit procurement. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri Digital forensics and investigations meet artificial intelligence. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johann A. Makowsky Can one design a geometry engine? - On the (un)decidability of certain affine Euclidean geometries. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son A parallel memory-efficient epistemic logic program solver: harder, better, faster. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias van der Hallen, Sergey Paramonov 0001, Gerda Janssens, Marc Denecker Knowledge representation analysis of graph mining. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano Multi-context systems in dynamic environments. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean-Philippe Pernot, Dominique Michelucci, Marc Daniel, Sebti Foufou Towards a better integration of modelers and black box constraint solvers within the product design process. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Régis Riveret, Pietro Baroni, Yang Gao, Guido Governatori, Antonino Rotolo, Giovanni Sartor A labelling framework for probabilistic argumentation. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cynthia Maushagen, Jörg Rothe Complexity of control by partitioning veto elections and of control by adding candidates to plurality elections. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002 A unifying logic for non-deterministic, parallel and concurrent abstract state machines. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ofri Keidar, Noa Agmon Safe navigation in adversarial environments. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, Evelina Lamma Tableau reasoning for description logics and its extension to probabilities. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Triska, Vilém Vychodil Minimal bases of temporal attribute implications. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lorenz Demey, Hans Smessaert Geometric and cognitive differences between logical diagrams for the Boolean algebra B4. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Berend, Amnon Meisels, Or Peri Probabilistic optimal solution assessment for DCOPs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Evangelos I. Sarmas The Flisvos-2017 multi-agent system. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas Multi-agent programming contest 2017 - The twelfth edition of the MAPC. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ryan Berryhill, Andreas G. Veneris Efficient suspect selection in unreachable state diagnosis. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wafa Jguirim, Wady Naanaa, Martin C. Cooper A polynomial relational class of binary CSP. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp Active integrity constraints for general-purpose knowledge bases. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Christian Eichhorn 0001, Gabriele Kern-Isberner, Steven Kutsch Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steven David Prestwich, S. Armagan Tarim, Ibrahim Ozkan A new causal discovery heuristic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Approximation and dependence via multiteam semantics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christopher-Eyk Hrabia, Patrick Marvin Lehmann, Nabil Battjbuer, Axel Hessler, Sahin Albayrak Applying robotic frameworks in a simulated multi-agent contest - TUBDAI team description multi-agent programming contest 2017. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Badrinath Jayakumar, Rajshekhar Sunderraman Quasi-classical reasoning in paraconsistent databases. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cristhian A. D. Deagustini, Maria Vanina Martinez, Marcelo A. Falappa, Guillermo Ricardo Simari How does incoherence affect inconsistency-tolerant semantics for Datalog±? Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Confalonieri 0001, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza Upward refinement operators for conceptual blending in the description logic ℰ ℒ++. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marc Gyssens, Guillermo Ricardo Simari Preface. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ioannis Kokkinis The complexity of satisfiability in non-iterated and iterated probabilistic logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernhard Bliem, Stefan Woltran Equivalence between answer-set programs under (partially) fixed input. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Czerner, Jonathan Pieper Multi-agent programming contest 2017: lampe team description. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rafael C. Cardoso, Tabajara Krausburg, Túlio L. Baségio, Débora C. Engelmann, Jomi Fred Hübner, Rafael H. Bordini SMART-JaCaMo: an organization-based team for the multi-agent programming contest. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dolores Barrios Rolanía, Guillermo Delgado Martínez, Daniel Manrique Multilayered neural architectures evolution for computing sequences of orthogonal polynomials. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Imen Zghidi, Brahim Hnich, Abdelwaheb Rebaï Correction to: Introducing statistical consistency for infinite chance constraints. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Esma Balkir Sentence entailment in compositional distributional semantics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sreelekha S NeuroSymbolic integration with uncertainty. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Verónica Dahl, Sergio Tessaris, Mariano De Sousa Bispo Parsing as semantically guided constraint solving: the role of ontologies. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kristen Brent Venable, Francesca Rossi Preface to the special issue: ISAIM 2016. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zuoquan Lin, Chen Chen Restricted semantics for default reasoning. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonathan Pieper Multi-agent programming contest 2017: BusyBeaver team description. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jørgen Villadsen, Oliver Fleckenstein, Helge Hatteland, John Bruntse Larsen Engineering a multi-agent system in Jason and CArtAgO - Multi-agent programming contest 2017. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Odile Papini, Salem Benferhat Preface for the special issue on Ontologies and Logic Programming for Query Answering. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Subhrajit Bhattacharya, Robert Ghrist Path homotopy invariants and their application to optimal trajectory planning. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Imen Zghidi, Brahim Hnich, Abdelwaheb Rebaï Introducing statistical consistency for infinite chance constraints. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexey Zaytsev 0002, Evgeny Burnaev Large scale variable fidelity surrogate modeling. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ignacio Montes, Sébastien Destercke On extreme points of p-boxes and belief functions. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francisco Botana, Tomás Recio Computing envelopes in dynamic geometry environments. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Henrik Boström, Henrik Linusson, Tuve Löfström, Ulf Johansson Accelerating difficulty estimation for conformal regression forests. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vladimir Vapnik, Rauf Izmailov Knowledge transfer in SVM and neural networks. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Surynek Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Weifu Ding, Jiangshe Zhang Robust visual tracking using information theoretical learning. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xia Qu, Prashant Doshi On the role of fairness and limited backward induction in sequential bargaining games - New behavioral models and analyses. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Piotr J. Wojciechowski, Pavlos Eirinakis, K. Subramani Analyzing restricted fragments of the theory of linear arithmetic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vladimir Vovk, Dusko Pavlovic Universal probability-free prediction. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paolo Toccaceli, Ilia Nouretdinov, Alexander Gammerman Conformal prediction of biological activity of chemical compounds. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Christopher McCabe-Dansted, Mark Reynolds To be fair, use bundles. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Takahisa Toda Dualization of boolean functions using ternary decision diagrams. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabio Grandi Erratum to: The RABTree and RAB- Tree: lean index structures for snapshot access in transaction-time databases. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Paola Spoletini Bounded variability of metric temporal logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Evgeny Burnaev, Ivan Panin, Bruno Sudret Efficient design of experiments for sensitivity analysis based on polynomial chaos expansions. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maricarmen Martínez, Ahmed M. H. Abdel-Fattah, Ulf Krumnack, Danny Gómez-Ramírez, Alan Smaill, Tarek Richard Besold, Alison Pease, Martin Schmidt 0002, Markus Guhe, Kai-Uwe Kühnberger Theory blending: extended algorithmic aspects and examples. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lior Aronshtam, Havatzelet Cohen, Tammar Shrot Tennis manipulation: can we help serena williams win another tournament? - Or can we control a knockout tournament with reasonable complexity? Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dimitris Magos, Ioannis Mourtos Submodularity and its application to some global constraints. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Piotr J. Wojciechowski, Pavlos Eirinakis, K. Subramani Erratum to: Analyzing restricted fragments of the theory of linear arithmetic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Gammerman, Vladimir Vovk Foreword to this special issue: conformal and probabilistic prediction with applications. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shufeng Kong, Sanjiang Li, Yongming Li 0001, Zhiguo Long On tree-preserving constraints. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dan Gutfreund, Aryeh Kontorovich, Ran Levy, Michal Rosen-Zvi Boosting conditional probability estimators. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Triska, Vilém Vychodil Logic of temporal attribute implications. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alejandro Sánchez, César Sánchez Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mikko Lauri, Aino Ropponen, Risto Ritala Meeting a deadline: shortest paths on stochastic directed acyclic graphs with information gathering. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Salem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel Prioritized assertional-based removed sets revision of DL-Lite belief bases. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alberto Belussi, Sara Migliorini A spatio-temporal framework for managing archeological data. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shuang Zhou 0001, Evgueni N. Smirnov, Gijs Schoenmakers, Ralf Peeters Conformal decision-tree approach to instance transfer. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuele Leonelli, Eva Riccomagno, Jim Q. Smith A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Craig E. Larson, Nicolas Van Cleemput Automated conjecturing III - Property-relations conjectures. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlo Combi Guest Editorial: Temporal representation and reasoning. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Juana Sendra, David Gómez Sánchez-Pascuala, Valerio Morán Design and implementation of maple packages for processing offsets and conchoids. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hiromi Narimatsu, Hiroyuki Kasai State duration and interval modeling in hidden semi-Markov model for sequential data analysis. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1André Abramé, Djamal Habet, Donia Toumi Improving configuration checking for satisfiable random k-SAT instances. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Federico Bergenti, Stefania Monica Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs About some UP-based polynomial fragments of SAT. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler Conformant planning as a case study of incremental QBF solving. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lisa Hellerstein, Lev Reyzin, György Turán Foreword. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabio Grandi The RABTree and RAB-Tree: lean index structures for snapshot access in transaction-time databases. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Utz-Uwe Haus, Carla Michini Compact representations of all members of an independence system. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1276 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license