Pages that link to "Item:Q3534655"
From MaRDI portal
The following pages link to Artificial Intelligence: Methodology, Systems, and Applications (Q3534655):
Displayed 22 items.
- Towards Agent-Oriented Relevant Information (Q3534656) (← links)
- Optimising Predictive Control Based on Neural Models (Q3534657) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- Mapping Properties of Heterogeneous Ontologies (Q3534659) (← links)
- A Logical Approach to Dynamic Role-Based Access Control (Q3534661) (← links)
- Interpolative Boolean Logic (Q3534662) (← links)
- Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models (Q3534663) (← links)
- Incorporating Learning in Grid-Based Randomized SAT Solving (Q3534664) (← links)
- Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm (Q3534665) (← links)
- Heuristic Hill-Climbing as a Markov Process (Q3534666) (← links)
- Interleaved Alldifferent Constraints: CSP vs. SAT Approaches (Q3534667) (← links)
- Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models (Q3534668) (← links)
- Property Based Coordination (Q3541826) (← links)
- A Formal General Setting for Dialogue Protocols (Q3541827) (← links)
- OCC’s Emotions: A Formalization in a BDI Logic (Q3541828) (← links)
- A Boolean Encoding Including SAT and n-ary CSPs (Q3541829) (← links)
- A Constructive Hybrid Algorithm for Crew Pairing Optimization (Q3541830) (← links)
- Using Local Search for Guiding Enumeration in Constraint Solving (Q3541831) (← links)
- Incorporating Privacy Concerns in Data Mining on Distributed Data (Q3541832) (← links)
- Clustering Approach Using Belief Function Theory (Q3541834) (← links)
- Case-Based Reasoning Within Semantic Web Technologies (Q3541837) (← links)
- A Proposal for Annotation, Semantic Similarity and Classification of Textual Documents (Q3541839) (← links)