CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Business intelligence; Contact center; Data integration; Data mining; Data warehousing; Operator performance assessment; Information Systems; Computer Science Applications1707 Computer Vision and Pattern Recognition; Strategy and Management1409 Tourism
Computation theory; Computer circuits; Logic programming; Planning; Semantics
Computer Science (all)
Description Logic
Description logic; Knowledge representation; Set theory
Exponential-growth relation; Finite-fold Diophantine representation; Hilbert's 10th problem; Pell's equation
Leisure and Hospitality Management; Information Systems and Management
Markovian models; Non-Interference; Process Algebra; Human-Computer Interaction; Computer Networks and Communications; 1707; Software
Multi agent systems; Action languages; Epistemic Reasoning; Multi-agent; Non-well-founded sets; Planning; Possibilities
Polymodal Logic
«
»
Cite
×