Ifi technical report series
- Where logic and agents meet
- Topographic mapping of large dissimilarity data sets
- The Multi-Agent Programming Contest from 2005-2010: from gold collecting...
- Software-orientierter Programmierstil bei VHDL
- Putting APL platforms to the test: agent similarity and execution performance
- On the (un-)decidability of model checking resource-bounded agents
- Model checking coalition logic on implicit models is delta P 3 -complete
- Mastering project-controlling using a process-integrated project cockpit...
- Flattr this! Explorative Evaluation von Social (Micro-)Payments als alternatives...
- Fast adaptive silhouette area based template matching
- Developing a power supply solution for a mobile robot
- An approach and design pattern for intra-application scheduling
- Abstraction for model checking modular interpreted systems over ATL
- What agents can probably enforce
- Towards an environment interface standard for agent-oriented programming
- The environment interface standard for agent-oriented programming platform...
- Properties of dual pseudo-splines
- Proceedings of the 10th international workshop on computational logic in...
- Model checking ATL+ is harder than it seemed
- Maintaining sequences of knowledge bases in ASP
- ICOLE 2009
- Elektronik und Datenkommunikation im Automobil
- Distributed decision making for metaschedulers
- Continuous edge gradient-based template matching for articulated objects
- Communicating rational agents: semantics and verification
- A novel approach to workflow scheduling in MediGRID
- Update operation in ASP revisited
- Towards more comprehensive measurable dependability
- Technical foundations of the agent contest 2008
- Strategic commitment and release in logics for multi-agent systems (extended...
- Reasoning about temporal properties of rational play
- Proceedings of the Conference on Software & Systems Engineering Essentials...
- Matrix adaptation in discriminative vector quantization
- Local matrix adaptation in topographic neural maps
- Inner sphere trees
- ICOLE - 2008
- Efficient evaluation of interpolating cubic polynomials
- Description logic for coalitions
- Communication platform for open heterogeneous MASs
- A simpler semantics for abilities under uncertainty
- Stepwise enabling of AUGUSTUS for MediGRID
- SEE 2007 Conference Proceedings
- Relational topographic maps
- Polynomial reproduction by symmetric subdivision schemes
- Neural gas for surface reconstruction
- Model checking with logic based petri nets
- Model checking rational play
- Markov temporal logic
- LTL model checking with logic based petri nets
- Knowledge and strategic ability for model checking: a refined approach
- ICOLE - 2007
- Four-point curve subdivision based on iterated chordal and centripetal...
- Collaborative virtual environments - hype or hope for CSCW?
- A road map of updating in ASP
- An open agent architecture: fundamentals
- Agent contest competition - 3rd edition
- The second contest on multi-agent systems based on computational logic
- Supervised median clustering
- Proceedings of the 11th Workshop on Nonmonotonic Reasoning
- On the relationship between playing rationally and knowing how to play:...
- On Landau theory and symmetric energy landscapes for phase transitions
- Modular interpreted systems: a preliminary report
- Model checking abilities under incomplete information is indeed Delta2-complete
- Model checking abilities of agents: a closer look
- Matrix learning in learning vector quantization
- Kinetic bounding volume hierarchies for collision detection of deformable...
- GPU-ABiSort: optimal parallel sorting on stream architectures
- Efficiently reprogramming Boolean functions by sTCAM/RAM
- Barycentric rational interpolation with no poles and high rates of approximation
- Agents, beliefs, and plausible behavior in a temporal setting
- A family of subdivision schemes with cubic precision
- Adding structure to agent programming languages
- 06-2005 - Strategic ability under uncertainty
- The relationship between reasoning about privacy and default logics
- Stable model semantics algorithm - approach based on relation of blocking...
- Software and operational concept for EIT-based regional lung function monitoring
- Reuse of test generation methods for embedded systems
- Planning in Answer Set Programming using Ordered Task Decomposition
- On the generalization ability of prototype-based classifiers with local...
- Intentions and strategies in game-like scenarios
- IMPACT: a multi-agent framework with declarative semantics
- Heterogeneous temporal probabilistic agents
- Expressing and verifying temporal and structural properties of mobile agents
- Dynamic functional EIT imaging (df-EIT) - a new concept for monitoring...
- Constructive knowledge
- Barycentric coordinates for arbitrary polygons in the plane
Ifi technical report series. ISSN: 1860-8477.