Gerhard Friedrich

Orcid: 0000-0002-1992-4049

Affiliations:
  • University of Klagenfurt, Austria


According to our database1, Gerhard Friedrich authored at least 131 papers between 1987 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach.
J. Artif. Intell. Res., 2023

Dynamic Aggregates in Expressive ASP Heuristics for Configuration Problems.
Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

2022
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming.
CoRR, 2022

Editorial "special issue on artificial intelligence in practice - from theory to application".
Appl. Intell., 2022

Symbolic Artificial Intelligence Methods for Prescriptive Analytics.
Proceedings of the Digital Transformation, 2022

2021
Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics.
Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), 2021

2020
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More.
Theory Pract. Log. Program., 2020

Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints.
Theory Pract. Log. Program., 2020

2019
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference.
AI Mag., 2019

Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018
Industrial Applications of Answer Set Programming.
Künstliche Intell., 2018

Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP.
Künstliche Intell., 2018

Software Configuration Diagnosis - A Survey of Existing Methods and Open Challenges.
Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018., 2018

2016
Tractability frontiers of the partner units configuration problem.
J. Comput. Syst. Sci., 2016

Twenty-Five Years of Successful Application of Constraint Technologies at Siemens.
AI Mag., 2016

Heuristic Constraint Answer Set Programming.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015
Constraint-Based Recommender Systems.
Proceedings of the Recommender Systems Handbook, 2015

Multi-UAV Monitoring with Priorities and Limited Energy Resources.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

2014
Representing Production Scheduling with Constraint Answer Set Programming.
Proceedings of the Operations Research Proceedings 2014, 2014

Interactive Ontology Debugging using Direct Diagnosis.
Proceedings of the Third International Workshop on Debugging Ontologies and Ontology Mappings, 2014

Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
RIO: Minimizing User Interaction in Debugging of Knowledge Bases
CoRR, 2013

The Partner Units Configuration Problem.
CoRR, 2013

Conflict-Based Program Rewriting for Solving Configuration Problems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Variable Neighborhood Search for Continuous Monitoring Problem with Inter-Depot Routes.
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Declarative Heuristics in Constraint Satisfaction.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Solving Object-oriented Configuration Scenarios with ASP.
Proceedings of the 15th International Configuration Workshop, 2013

2012
Interactive ontology debugging: Two query strategies for efficient fault localization.
J. Web Semant., 2012

Direct computation of diagnoses for ontology debugging
CoRR, 2012

Direct computation of diagnoses for ontology alignment.
Proceedings of the 7th International Workshop on Ontology Matching, 2012

On Direct Debugging of Aligned Ontologies.
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

RIO: minimizing user interaction in debugging of aligned ontologies.
Proceedings of the 7th International Workshop on Ontology Matching, 2012

RIO: Minimizing User Interaction in Ontology Debugging.
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

(Re)Configuration Using Web Data: A Case Study on the Reviewer Assignment Problem.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

QuickPup: A Heuristic Backtracking Algorithm for the Partner Units Configuration Problem.
Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, 2012

Routing for Continuous Monitoring by Multiple Micro AVs in Disaster Scenarios.
Proceedings of the ECAI 2012, 2012

On computing correct processes and repairs sing partial behavioral models.
Proceedings of the ECAI 2012, 2012

Testing Object-Oriented Configurators With ASP.
Proceedings of the Workshop on Configuration at ECAI 2012, 2012

2011
Developing Constraint-based Recommenders.
Proceedings of the Recommender Systems Handbook, 2011

(Re)configuration based on model generation
Proceedings of the Proceedings Second Workshop on Logics for Component Configuration, 2011

Query strategy for sequential ontology debugging
CoRR, 2011

A Taxonomy for Generating Explanations in Recommender Systems.
AI Mag., 2011

Optimization Methods for the Partner Units Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

(Re)configuration using Answer Set Programming.
Proceedings of the IJCAI 2011 Workshop on Configuration, Barcelona, Spain, July 16, 2011, 2011

2010
Exception Handling for Repair in Service-Based Processes.
IEEE Trans. Software Eng., 2010

xCrawl: a high-recall crawling method for Web mining.
Knowl. Inf. Syst., 2010

Applying Local Rescheduling in response to schedule disruptions.
Ann. Oper. Res., 2010

Impacts of Decoy Effects on the Decision Making Ability.
Proceedings of the 12th IEEE Conference on Commerce and Enterprise Computing, 2010

Query Strategy for Sequential Ontology Debugging.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Diagnosis of Service Failures by Trace Analysis with Partial Knowledge.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Diagnosis discrimination for ontology debugging.
Proceedings of the ECAI 2010, 2010

Diagnosing Process Trajectories Under Partially Known Behavior.
Proceedings of the ECAI 2010, 2010

Efficient Explanations for Inconsistent Constraint Sets.
Proceedings of the ECAI 2010, 2010

Recommender Systems - An Introduction.
Cambridge University Press, ISBN: 978-0-521-49336-9, 2010

2009
Automated ontology instantiation from tabular web sources - The AllRight system.
J. Web Semant., 2009

Extending the RCPSP for modeling and solving disruption management problems.
Appl. Intell., 2009

Automated debugging of recommender user interface descriptions.
Appl. Intell., 2009

Plausible Repairs for Inconsistent Requirements.
Proceedings of the IJCAI 2009, 2009

Argumentation Based Constraint Acquisition.
Proceedings of the ICDM 2009, 2009

2008
Intelligent debugging and repair of utility constraint sets in knowledge-based recommender applications.
Proceedings of the 13th International Conference on Intelligent User Interfaces, 2008

A Distributed Generative CSP Framework for Multi-site Product Configuration.
Proceedings of the Cooperative Information Agents XII, 12th International Workshop, 2008

Collaborative microdrones: applications and research challenges.
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2007
Guest Editors' Introduction: Recommender Systems.
IEEE Intell. Syst., 2007

AllRight: Automatic Ontology Instantiation from Tabular Web Documents.
Proceedings of the Semantic Web, 2007

Persuasive Recommendation: Serial Position Effects in Knowledge-Based Recommender Systems.
Proceedings of the Persuasive Technology, 2007

Towards a basic protocol for functional assessment of substitution voices: preliminary results of an international trial.
Proceedings of the Fifth International Workshop on Models and Analysis of Vocal Emissions for Biomedical Applications, 2007

Clustering web documents with tables for information extraction.
Proceedings of the 4th International Conference on Knowledge Capture (K-CAP 2007), 2007

Handling Alternative Activities in Resource-Constrained Project Scheduling Problems.
Proceedings of the IJCAI 2007, 2007

Local Rescheduling - A Novel Approach for Efficient Response to Schedule Disruptions.
Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Scheduling, 2007

2006
An Integrated Environment for the Development of Knowledge-Based Recommender Applications.
Int. J. Electron. Commer., 2006

NameIt: Extraction of product names.
Proceedings of the Workshops Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 2006

2005
Secure Stochastic Multi-party Computation for Combinatorial Problems and a Privacy Concept that Explicitely Factors out Knowledge about the Protocol.
IACR Cryptol. ePrint Arch., 2005

A General Diagnosis Method for Ontologies.
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

2004
Consistency-based diagnosis of configuration knowledge bases.
Artif. Intell., 2004

Dynamic Multi-Agent Based Variety Formation and Steering in Mass Customization.
Proceedings of the ICEIS 2004, 2004

Elimination of Spurious Explanations.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
A Framework for the Development of Personalized, Distributed Web-Based Configuration Systems.
AI Mag., 2003

Configuration knowledge representations for Semantic Web applications.
Artif. Intell. Eng. Des. Anal. Manuf., 2003

Intelligent User Interfaces for Web-Based Configuration Systems.
Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

Key Metrics System for Variety Steering in Mass Customization.
Proceedings of the 2nd Interdisciplinary World Congress on Mass Customization and Personalization, 2003

Developing Constraint-Based Applications with Spreadsheets.
Proceedings of the Developments in Applied Artificial Intelligence, 2003

Transforming UML Domain Descriptions into Configuration Knowledge Bases.
Proceedings of the Knowledge Transformation for the Semantic Web, 2003

2002
Spiral CT based assessment of laryngotrachealstenoses with 3D image processing using a Skeletonisation algorithm.
IEEE Trans. Medical Imaging, 2002

Configuration Knowledge Representation Using UML/OCL.
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Semantic Configuration Web Services in the CAWICOMS Project.
Proceedings of the Semantic Web, 2002

UML as knowledge acquisition frontend for Semantic Web configuration knowledge bases.
Proceedings of the RuleML 2002, 2002

Acquiring Configuration Knowledge Bases in the Semantic Web Using UML.
Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

A Framework for Rapid Development of Advanced Web-based Configurator Applications.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Personalising On-Line Configuration of Products and Services.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Web-Based Configuration of Virtual Private Networks with Multiple Suppliers.
Proceedings of the Artificial Intelligence in Design '02, 2002

2001
Conceptual modeling for configuration of mass-customizable products.
Artif. Intell. Eng., 2001

Intelligent Interfaces for Distributed Web-Based Product and Service Configuration.
Proceedings of the Web Intelligence: Research and Development, 2001

Web-based Commerce of Complex Products and Services with Multiple Suppliers.
Proceedings of the KI-2001 Workshop AI in Planning, 2001

Towards Distributed Configuration.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Hierarchical Diagnosis of Large Configurator Knowledge Bases.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Intelligent Support for Interactive Configuration of Mass-Customized Products.
Proceedings of the Engineering of Intelligent Systems, 2001

Distributed Configuration as Distributed Dynamic Constraint Satisfaction.
Proceedings of the Engineering of Intelligent Systems, 2001

2000
Uml as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems.
Int. J. Softw. Eng. Knowl. Eng., 2000

Reports on the AAAI 1999 Workshop Program.
AI Mag., 2000

A Framework for the Development of Cooperative Configuration Agents.
Proceedings of the Intelligent Problem Solving, 2000

Cooperating Configuration Agents Supporting Supply Chain Integration of Customizable Products.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Integrating Knowledge-Based Configuration Systems by Sharing Functional Architectures.
Proceedings of the Knowledge Acquisition, 2000

An Integrated Development Environment for The Design And Maintenance of Large Configuration Knowledge Bases.
Proceedings of the Artificial Intelligence in Design '00, 2000

1999
Model-Based Diagnosis of Hardware Designs.
Artif. Intell., 1999

Knowledge Acquisition for Configuration Systems: UML as a link between AI and Software Engineering.
Proceedings of the Proceedings PuK 99, 1999

1998
Configuring Large Systems Using Generative Constraint Satisfaction.
IEEE Intell. Syst., 1998

Generative constraint-based configuration of large technical systems.
Artif. Intell. Eng. Des. Anal. Manuf., 1998

1994
Formalizing the Repair Process - Extended Report.
Ann. Math. Artif. Intell., 1994

Theory Diagnoses: A Concise Characterization of Faulty Systems.
Ann. Math. Artif. Intell., 1994

Focusing on Independent Diagnosis Problems.
Ann. Math. Artif. Intell., 1994

Introduction.
Ann. Math. Artif. Intell., 1994

1993
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract).
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992
Model-Based Diagnosis and Repair.
AI Commun., 1992

Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Extending Constraint Satisfaction Problem Solving in Structural Design.
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1992

Formaiizing the Repair Process.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991
Diagnosing Temporal Misbehavior.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Towards a Theory of the Repair Process.
Proceedings of the EPIA 91, 1991

1990
Hypothesis Classification, Abductive Diagnosis and Therapy.
Proceedings of the Expert Systems in Engineering, 1990

Redefining the Candidate Space in Model-Based Diagnosis.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Physical Impossibility Instead of Fault Models.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989
ARTEX: Configuration-Driven Diagnosis for Routing Systems.
Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989

Integrating logic, object-oriented and procedural paradigms in a fault diagnosis and monitoring system.
Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA, 1989

Using Domain Knowledge to Improve Inductive Learning Algorithms for Diagnosis.
Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), 1989

ObjView: A Task-Oriented, Graphics-Based Tools for Object Visualization and Arrangement.
Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989

1987
ARTEX - Wissensbasierte Fehlererkennung und Fehlerbehebung in einem Vermittlungssystem.
Proceedings of the Wissensbasierte Systeme, 1987

Wissensbasierte Fehlererkennung mit Hilfe eines objektorientierten Modells in ARTEX.
Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987


  Loading...