Patrik Simons
- Extending and Implementing the Stable Model Semantics
2000/05/08 by Patrik Simons, Simons, Patrik · 4 citations
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.8 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI #cs.LO
- Smodels: A System for Answer Set Programming
2000/03/08 by Ilkka Niemela, Ilkka Niemelä, Patrik Simons +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #cs.AI