| Publication | Date of Publication | Type |
|---|
Deontic meta-rules
Journal Of Logic And Computation | 2024-11-12 | Paper |
Disturbance rejection enhancement using predictive control for the fixed-wing UAV with multiple ailerons
International Journal of Adaptive Control and Signal Processing | 2024-05-08 | Paper |
A scatter search algorithm for time-dependent prize-collecting arc routing problems
Computers & Operations Research | 2022-03-09 | Paper |
| Computing defeasible meta-logic | 2021-12-01 | Paper |
Quantified coalition logic of knowledge, belief and certainty
Advances in Artificial Intelligence | 2020-08-05 | Paper |
Makespan preserving flowshop reengineering via blocking constraints
Computers & Operations Research | 2019-10-18 | Paper |
Scheduling blocking flowshops with setup times via constraint guided and accelerated local search
Computers & Operations Research | 2019-07-09 | Paper |
Tailoring customer order scheduling search algorithms
Computers & Operations Research | 2019-07-08 | Paper |
Analytic approach to explore dynamical osteoporotic bone turnover
Advances in Difference Equations | 2019-03-04 | Paper |
A first-order coalition logic for BDI-agents
Frontiers of Computer Science | 2019-01-22 | Paper |
Constraint guided accelerated search for mixed blocking permutation flowshop scheduling
Computers & Operations Research | 2018-12-03 | Paper |
Gram-positive and Gram-negative protein subcellular localization by incorporating evolutionary-based descriptors into Chou's general PseAAC
Journal of Theoretical Biology | 2018-09-17 | Paper |
| Reconsidering AGM-style belief revision in the context of logic programs | 2018-07-12 | Paper |
PSSM-Suc: accurately predicting succinylation using position specific scoring matrix into bigram for feature extraction
Journal of Theoretical Biology | 2018-02-27 | Paper |
Constraint-directed search for all-interval series
Constraints | 2018-02-23 | Paper |
Encoding domain transitions for constraint-based planning
Journal of Artificial Intelligence Research | 2017-05-16 | Paper |
Constraint-based local search for Golomb rulers
Integration of AI and OR Techniques in Constraint Programming | 2016-07-25 | Paper |
Guaranteed mutually consistent checkpointing in distributed computations
International Journal of Foundations of Computer Science | 2015-04-29 | Paper |
NuMVC: an efficient local search algorithm for minimum vertex cover
Journal of Artificial Intelligence Research | 2013-05-02 | Paper |
Levels of modality for BDI logic
Journal of Applied Logic | 2012-10-16 | Paper |
Local search with edge weighting and configuration checking heuristics for minimum vertex cover
Artificial Intelligence | 2011-11-17 | Paper |
A defeasible logic for modelling policy-based intentions and motivational attitudes
Logic Journal of the IGPL | 2009-06-29 | Paper |
A constraint-based autonomous 3D camera system
Constraints | 2008-09-02 | Paper |
AI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2084407 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1954194 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1931660 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1696546 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1630089 (Why is no real title available?) | 2001-09-30 | Paper |
Representation and reasoning with multi-point events
Constraints | 2000-09-04 | Paper |
