Knowledge Representation, Reasoning and Declarative Problem Solving
From MaRDI portal
Knowledge Representation, Reasoning and Declarative Problem Solving (scientific article; zbMATH DE number 1980894)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Recommendations
Cited in
(only showing first 100 items - show all)- Linear temporal logic as an executable semantics for planning languages
- Transactions on Computational Science V. Special issue on cognitive knowledge representation
- Integrating answer set programming and constraint logic programming
- Consistency properties and set based logic programming
- Set based logic programming
- Symbolic normalized acquisition and representation of knowledge
- Answer set programming and plan generation
- Identification of biological transition systems using meta-interpreted logic programs
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- Modeling delayed dynamics in biological regulatory networks from time series data
- A progression semantics for first-order logic programs
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
- A computational framework for conceptual blending
- Conflict-driven answer set solving: from theory to practice
- Safe beliefs for propositional theories
- Modeling multi-valued biological interaction networks using fuzzy answer set programming
- Dealing with explicit preferences and uncertainty in answer set programming
- Fixed point semantics for stream reasoning
- Graph-based construction of minimal models
- The possibilistic Horn non-clausal knowledge bases
- Learning Boolean controls in regulated metabolic networks: a case-study
- A polynomial reduction of forks into logic programs
- Static analysis and stochastic search for reachability problem
- Rough set reasoning using answer set programs
- Paracoherent answer set computation
- Determining inference semantics for disjunctive logic programs
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Forgetting auxiliary atoms in forks
- The dramatic true story of the frame default
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Possibilistic nested logic programs and strong equivalence
- Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
- Combining answer set programming with description logics for the semantic web
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
- Answer set programs with queries over subprograms
- Complexity results for answer set programming with bounded predicate arities and implications
- On look-ahead heuristics in disjunctive logic programming
- Model checking multi-agent systems with logic based Petri nets
- Revisiting \(\mathbb Z\)
- FLP answer set semantics without circular justifications for general logic programs
- Solving logic program conflict through strong and weak forgettings
- An introduction to fuzzy answer set programming
- A rule based knowledge transaction model for mobile environments
- Identification of biological regulatory networks from process hitting models
- Semi-equilibrium models for paracoherent answer set programs
- Alan: An action language for modelling non-Markovian domains
- Portfolio approaches for constraint optimization problems
- Semantics for possibilistic disjunctive programs
- Towards answer set programming with sorts
- ASlib: a benchmark library for algorithm selection
- Communicating answer set programs
- A ``conservative approach to extending answer set programming with non-Herbrand functions
- Gearing up for effective ASP planning
- Toward Question Answering in Travel Domains
- Declarative distributed computing
- Disjunctive Programs with Set Constraints
- Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
- A selective semantics for logic programs with preferences
- claspfolio2: Advances in Algorithm Selection for Answer Set Programming
- Anytime computation of cautious consequences in answer set programming
- The rise and fall of semantic rule updates based on SE-models
- A logic for qualified syllogisms
- Learning through hypothesis refinement using answer set programming
- Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
- On testing answer-set programs
- Manifold answer-set programs and their applications
- Answer set; programming?
- Answer set programming for computing decisions under uncertainty
- Handling exceptions in logic programming without negation as failure
- Automatic network reconstruction using ASP
- Complex optimization in answer set programming
- A general method to solve complex problems by combining multiple answer set programs
- Characterising equilibrium logic and nested logic programs: Reductions and complexity,
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- scientific article; zbMATH DE number 4176498 (Why is no real title available?)
- Expressive power of knowledge representation systems
- Answer Sets and Qualitative Optimization
- aspartame: solving constraint satisfaction problems with answer set programming
- Answer set programming modulo acyclicity
- Implementing preferences with asprin
- Digital forensics evidence analysis: an answer set programming approach for generating investigation hypotheses
- ASP solving for expanding universes
- Progress in clasp series 3
- Solving disjunctive fuzzy answer set programs
- The Design of the Sixth Answer Set Programming Competition
- The Semantics of Consistency and Trust in Peer Data Exchange Systems
- Qualitative Constraint Enforcement in Advanced Policy Specification
- Strongly Equivalent Temporal Logic Programs
- Answer Set Programming: A Declarative Approach to Solving Search Problems
- Design and implementation of aggregate functions in the DLV system
- Logic programming with social features
- Extended ASP Tableaux and rule redundancy in normal logic programs
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- Multivalued action languages with constraints in CLP(FD)
- Answer set programming
- Automata and Answer Set Programming
This page was built for publication: Knowledge Representation, Reasoning and Declarative Problem Solving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428287)
