www.nbulling.de Gehe zur Webseite
Dr Nils Bulling
Personal homepage of Dr. Nils Bulling
Eingehende Links: | 2 |
Webseiten Geschwindigkeit: | 0.031 Sekunden |
Wichtigste Keywords
Bulling Nils Bulling European Agent Systems Summer Agent Systems Summer School Multi-Agent Systems pg Truly Perfect Recall Multi-Agent Decision Making Best Paper Award International Workshop CLIMA International Joint Conference Game Theoretic Approach Boolean secrecy games Logic Language Strategic Ability Strategic Reasoning Multi-Player Games ACM Press Autonomous Agents Extended Abstract Artificial Intelligence temporal logic acceptance rate Prague Czech Computer Science Dagstuhl seminar Formal Methods Künstliche Intelligenz Assistant Professor International Conference Computational Logic Program chair Model Checking Socio-Technical Systems PhD Thesis security protocols research interests European Conference Clausthal University Rational Agents dissertation prize Comparing Variants Strategic Logics decidability complexity following topics propositional logic modal logics Technical Reports Informatics III Lecture Notes first-order logic
DNS-Daten
Host | Klasse | Typ | Ziel |
---|---|---|---|
nbulling.de | IN | NS | docks10.rzone.de |
nbulling.de | IN | NS | shades08.rzone.de |
nbulling.de | IN | SOA | shades08.rzone.de |
nbulling.de | IN | MX | smtp.rzone.de |
nbulling.de | IN | A | 81.169.145.159 |
nbulling.de | IN | AAAA |
Server-Ping
PING nbulling.de (81.169.145.159) 56(84) bytes of data. 64 bytes from w9f.rzone.de (81.169.145.159): icmp_req=1 ttl=248 time=7.19 ms 64 bytes from w9f.rzone.de (81.169.145.159): icmp_req=2 ttl=248 time=7.25 ms 64 bytes from w9f.rzone.de (81.169.145.159): icmp_req=3 ttl=248 time=7.27 ms 64 bytes from w9f.rzone.de (81.169.145.159): icmp_req=4 ttl=248 time=7.23 ms --- nbulling.de ping statistics --- 4 packets transmitted, 4 received, 0% packet loss, time 602ms rtt min/avg/max/mdev = 7.194/7.240/7.275/0.067 ms
HTTP-Header
HTTP-Tag | Wert |
---|---|
http_version | HTTP/1.1 |
statuscode | 200 |
date | Thu, 03 Jul 2014 18:34:14 GMT |
server | Apache/2.2.27 (Unix) |
last-modified | Fri, 20 Jun 2014 10:11:16 GMT |
etag | "a260c44-1044d-4fc41b6c5dc41" |
accept-ranges | bytes |
content-length | 66637 |
content-type | text/html |
Meta Tags
Meta-Tag | Wert |
---|---|
description | Personal homepage of Dr. Nils Bulling |
keywords | Dr. Bulling, Dr. Nils Bulling, Bulling,Nils,bulling, nils,computer,scientist,nbulling.de,nils bullin... |
content-type | text/html; charset=utf-8 |
Interne Links
Anchor | URL |
---|---|
CfP and more information | http://nbulling.de/Misc/ki2014.html |
Externe Links
Anchor | URL |
---|---|
LAAMAS | http://logic-mas.org/ |
KI–Künstliche Intelligenz | http://www.springer.com/computer/ai/journal/13218 |
LAMAS 2014 | http://lamas2014.in.tu-clausthal.de |
Formal Methods for Coordinating Multi-Agent Systems | http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=14332 |
Computational Logic in Multi-Agent Systems (CLIMA XV) | http://centria.di.fct.unl.pt/~clima/ |
EUMAS 2014 | http://agents.fel.cvut.cz/eumas2014/ |
ECAI 2014 | http://www.ecai2014.org |
Multi-Agent Decision Making | http://vz105.in.tu-clausthal.de/Misc/ki2014.html |
PRIMA 2014: 17th International Conference on Principles and Practice of Multi-Agent Systems. | http://www.prima2014.org |
ECAI 2014: 21st European Conference on Artificial Intelligence | http://www.ecai2014.org/ |