Ramón Béjar

Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017

2016

RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2016

On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2016

Support Analysis of Weighted Discussions in Twitter.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2016

2015

Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers.

[BibT_eX]

[DOI]

AI Commun., 2015

2014

On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2014

2013

On the hardness of solving edge matching puzzles as SAT or CSP problems.

[BibT_eX]

[DOI]

Constraints An Int. J., 2013

On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Web Based System for Weighted Defeasible Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Solving Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2013

2012

The Sudoku completion problem with rectangular hole pattern is NP-complete.

[BibT_eX]

[DOI]

Discret. Math., 2012

Optimizing Energy Consumption in Automated Vacuum Waste Collection Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Using Answer Set Programming for an Scalable Implementation of Defeasible Argumentation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

The Automated Vacuum Waste Collection Optimization Problem.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Generating highly balanced sudoku problems as hard problems.

[BibT_eX]

[DOI]

J. Heuristics, 2011

Maximal Ideal Recursive Semantics for Defeasible Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

Towards an Efficient Use of Resources in All-Optical Networks.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2011

On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard MaxClique Problems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2011

2010

A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics.

[BibT_eX]

[DOI]

Teresa Alsinet

Lluís Godo

Proceedings of the Advances in Artificial Intelligence, 2010

Solving Pseudo-Boolean Modularity Constraints.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

A characterization of collective conflict for defeasible argumentation.

[BibT_eX]

[DOI]

Teresa Alsinet

Lluís Godo

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Encoding Basic Arithmetic Operations for SAT-Solvers.

[BibT_eX]

[DOI]

Francesc Guitart

Proceedings of the Artificial Intelligence Research and Development, 2010

2009

Bounding the Phase Transition on Edge Matching Puzzles.

[BibT_eX]

[DOI]

Proceedings of the ISMVL 2009, 2009

Generating Hard Instances for MaxSAT.

[BibT_eX]

[DOI]

Proceedings of the ISMVL 2009, 2009

A Formal Model of Competence-Based Assessment.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2009

2008

Hard SAT and CSP instances with Expander Graphs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Edge Matching Puzzles as Hard SAT/CSP Benchmarks.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

From High Girth Graphs to Hard Instances.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

How Hard is a Commercial Puzzle: the Eternity II Challenge.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2008

Generating Hard SAT/CSP Instances Using Expander Graphs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Regular-SAT: A many-valued approach to solving combinatorial problems.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2007

On Balanced CSPs with High Treewidth.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

The Impact of Balancing on Problem Hardness in a Highly Structured Domain.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Sensor networks and distributed CSP: communication, computation and complexity.

[BibT_eX]

[DOI]

Bart Selman

Magda Valls

Artif. Intell., 2005

Statistical Modelling of CSP Solving Algorithms Performance.

[BibT_eX]

[DOI]

Carles Mateu

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

The Interface between P and NP in Signed CNF Formulas.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

2003

On the Complexity of Distributed Self-Configuration in Wireless Networks.

[BibT_eX]

[DOI]

Stephen B. Wicker

Telecommun. Syst., 2003

Automated monitoring of medical protocols: a secure and distributed architecture.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 2003

Grid-based SensorDCSP.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

2002

Distributed Problem Solving and the Boundaries of Self-Configuration in Multi-hop Wireless Networks.

[BibT_eX]

[DOI]

Stephen B. Wicker

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

Communication and Computation in Distributed CSP Algorithms.

[BibT_eX]

[DOI]

Carla P. Gomes

Proceedings of the Principles and Practice of Constraint Programming, 2002

Minimal and Redundant SAT Encodings for the All-Interval-Series Problem.

[BibT_eX]

[DOI]

Proceedings of the Topics in Artificial Intelligence, 5th Catalonian Conference on AI, 2002

2001

Extending the Reach of SAT with Many-Valued Logics.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2001

A Modular Reduction of Regular Logic to Classical Logic.

[BibT_eX]

[DOI]

Reiner Hähnle

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

Phase transition phenomena in wireless ad hoc networks.

[BibT_eX]

[DOI]

Stephen B. Wicker

Proceedings of the Global Telecommunications Conference, 2001

Capturing Structure with Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Systematic and local search algorithms for regular-SAT.

[BibT_eX]

[DOI]

Ramón Béjar Torres

PhD thesis, 2000

A Multi-agent system architecture for monitoring medical protocols.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Autonomous Agents, 2000

Solving the Round Robin Problem Using Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Solving Combinatorial Problems with Regular Local Search Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Phase Transitions in the Regular Random 3-SAT Problem.

[BibT_eX]

[DOI]